| 000 | 00568nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 090625s9999 xx 000 0 und d | ||
| 010 | _a2100054538 | ||
| 090 |
_a88297 _988297 |
||
| 100 | _a20140919 frey50 | ||
| 200 |
_aLogique Mathématique _e2Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles _fPréface de Jean-Lois Krivine |
||
| 200 |
_gDaniel Lascar _bLIVR |
||
| 210 |
_gRené Cori _cDunod _aParis _d2003 |
||
| 215 |
_a322 p. _d24 cm. |
||
| 225 | _aSciences SUP | ||
| 300 | _aBibliogr. 323-325 index. P 335-347. | ||
| 101 | _afre | ||