| 000 | 00790nam a22002057a 4500 | ||
|---|---|---|---|
| 999 |
_c4871 _d4871 |
||
| 005 | 20200926184129.0 | ||
| 008 | 131105b ck ||||| |||| 00| 0 spa d | ||
| 020 | _a0198880871 | ||
| 040 |
_aCO-NeUS _bspa _erda |
||
| 245 | 1 | 0 |
_aWhat is Mathematical Logic? / _cJ.N. Crossley ... (et al) |
| 264 |
_aNew York : _bOxford univesity Press, _c1979 |
||
| 300 | _a82 página. | ||
| 505 | 0 | 0 | _aHistorical survey -- The completeness of predicate calculus -- Model theory -- Turing machines and recursive functions -- Gödel´s incompleteness theorems -- Set theory -- Some suggestions for futher reading. |
| 700 | 1 |
_aCrossley, J. N. _938540 |
|
| 700 | 1 |
_aAsh, C. J. _928778 |
|
| 700 | 1 |
_aBrickhill, C. J. _932436 |
|
| 700 | 1 |
_aStillwell, J. C. _985251 |
|
| 700 | 1 |
_aWilliams, N. H. _991025 |
|
| 082 | 0 | 4 |
_a510.1 / _b W555 |
| 650 | 1 | 4 |
_aLogica matematica _9115236 |
| 942 |
_2ddc _cCG _h510.1 / _m W555 |
||