| 000 | 00742nam a2200229 i 4500 | ||
|---|---|---|---|
| 001 | 47856 | ||
| 003 | IT-RoAPU | ||
| 005 | 20230515185239.0 | ||
| 008 | 041012s1981 it |000 u ita c | ||
| 040 |
_aIT-RoAPU _bita _cIT-RoAPU |
||
| 084 | _aBC 135.T4 | ||
| 245 | 0 | 0 |
_aTeoria della dimostrazione / _cG. Gentzen ... [et al.] ; a cura di Donatella Cagnoni. |
| 260 |
_aMilano : _bFeltrinelli, _c1981. |
||
| 300 |
_a259 p. ; _c20 cm. |
||
| 490 | 1 |
_aSC/10. Readings ; _v022 |
|
| 650 | 7 |
_aDimostrazione (Logica) _2sbaa _9203197 |
|
| 700 | 1 |
_aCagnoni, Donatella _ecuratore _917062 |
|
| 700 | 1 |
_aGentzen, G. _966133 |
|
| 830 | 0 |
_aSC/10. _pReadings _v022 _1http://catalogue.bnf.fr/ark:/12148/cb34224324g _9198476 |
|
| 850 | _aIT-RoAPU | ||
| 942 |
_cBK _00 |
||
| 999 |
_c47856 _d47856 |
||