| 000 | 00985nam a2200289zi 4500 | ||
|---|---|---|---|
| 005 | 20210817123255.0 | ||
| 008 | 030822c20032003si a 000 0 eng d | ||
| 020 | _a9812382798 | ||
| 035 | _aMX001000967697 | ||
| 040 |
_aIRU _bspa _cIRU _dCUS _dUNAMX |
||
| 041 | _aENG | ||
| 050 | 1 | 4 |
_aQA9.54 _bT338 |
| 100 | 1 |
_aTakeuti, Gaisi, _d1926- _eautor |
|
| 240 | 1 | 0 |
_aGederu. _lInglés |
| 245 | 1 | 0 |
_aMemoirs of a proof theorist : _bGodel and other logicians / _c[Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell |
| 246 | 3 | 0 | _aGodel and other logicians |
| 250 | _aRev. ed. | ||
| 300 |
_axviii, 135 páginas : _bilustraciones |
||
| 500 | _aTraduccion de: Gederu : Kurt Godel. Tokyo : Nippon Hyoron Sha, 1986 | ||
| 600 | 1 | 4 | _aGödel, Kurt |
| 650 | 4 | _aTeoría de la demostración | |
| 264 | 1 |
_aSingapore : _bWorld Scientific, _cc2003 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c36336 _d36336 |
||