| 000 | 00747 a2200181 4500 | ||
|---|---|---|---|
| 001 | 6781 | ||
| 010 | _a2-10-005453-8 | ||
| 090 | _a6781 | ||
| 100 | _a20170516 frey50 | ||
| 101 | _afre | ||
| 102 | _aFR | ||
| 200 | 1 |
_aLogique mathématique _iFonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles _ecours et exercices corrigés _fRené Cori,... Daniel Lascar,... _gpréface de Jean-Louis Krivine |
|
| 210 |
_aParis _cDunod _dimpr. 2003 |
||
| 215 |
_a1 vol. (XV-347 p.) _d24 cm |
||
| 225 | 2 |
_aSciences sup _v2 |
|
| 610 |
_alogique _arecursivité _aformalisation _athéorie des ensembles _athéorie des modèles _athéorème de Gödel _aaxiome de peano |
||
| 700 | 1 |
_aCori _bRené _4070 |
|
| 701 | 1 |
_aLascar _bDaniel _f1942-.... _4070 |
|
| 099 | _tMON | ||