| 000 | 00967nam0a22003010004500 | ||
|---|---|---|---|
| 001 | 170160 | ||
| 090 | _a170160 | ||
| 100 | _a20070110j1956 k y engy50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aUS | ||
| 200 | 1 |
_aIntroduction to mathematical logic _evolume I= I _fAlonzo Church |
|
| 205 | _a1ª edição | ||
| 210 |
_aPrinceton _cPrinceton University Press _d1956 |
||
| 215 | _aIX + 378 p. | ||
| 225 | 2 |
_aPrinceton Mathematical Series _fPhillip A. Griffiths, Marston Morse, Elias M. Stein _v17= 17) |
|
| 606 |
_934140 _aLógica matemática |
||
| 606 |
_923365 _aFilosofia e matemática |
||
| 606 |
_923184 _aFilosofia |
||
| 606 |
_924335 _aFunção |
||
| 606 |
_934147 _aLógica proposicional |
||
| 606 |
_99835 _aCálculo |
||
| 606 |
_953319 _aTeoremas |
||
| 606 |
_953315 _aTeorema da incompletude de Gödel |
||
| 606 |
_944636 _aProblema da decisão |
||
| 675 | _a1 | ||
| 700 | 1 |
_9106378 _aChurch, _bAlonzo, _c1903-1995 |
|
| 942 |
_cMON _n0 |
||
| 999 |
_a166702 _c2021-07-08 _bUNL-FCSH - GLOBAL |
||