| 000 | 00540 a2200181 4500 | ||
|---|---|---|---|
| 001 | 2106 | ||
| 090 | _a2106 | ||
| 100 | _a20170516 frey50 | ||
| 101 | 0 | _afre | |
| 102 | _aFR | ||
| 200 | 1 |
_aEléments de logique mathématique _ethéorie des modèles _fG. Kreisel, J.-L. Krivine. |
|
| 210 |
_aParis _cDunod _d1967. |
||
| 215 |
_aVIII-214 p. _d25 cm. |
||
| 225 | 1 |
_aMonographies de la Société mathématique de France _v |
|
| 606 | _aLogique | ||
| 610 | 0 | 1 | _aLogique mathématique. |
| 700 | 1 |
_aKreisel _bGeorg. _4070 |
|
| 701 | 1 |
_aKrivine _bJean-Louis. _4070 |
|
| 099 | _tMON | ||