| 000 | 01297nam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | xx005640373 | ||
| 003 | NUKAT | ||
| 005 | 20241231095651.0 | ||
| 008 | 231024s2021 xxka |001 0deng c | ||
| 020 |
_a9781108423298 _qHardback |
||
| 035 | _a(OCoLC)1423807502 | ||
| 040 |
_aWA U/97AMO _bpol _erda _cWA U/AMO _dWA U/AMOs _dWA U/97RR |
||
| 044 |
_axxk _axxu |
||
| 050 | 1 | 4 |
_aQA9.59 _b.M66 2021 |
| 100 | 1 |
_aMontalbán, Antonio _d(1978- ) _eAutor |
|
| 245 | 1 | 0 |
_aComputable structure theory : _bwithin the arithmetic / _cAntonio Montalbán. |
| 250 | _aFirst published. | ||
| 260 |
_aCambridge : _bCambridge University Press ; _aIthaca, NY : _bAssociation for Symbolic Logic, _c© 2021. |
||
| 300 |
_aXXII, 190 stron : _bilustracje ; _c25 cm. |
||
| 336 |
_aTekst _btxt _2rdacontent |
||
| 337 |
_aBez urządzenia pośredniczącego _bn _2rdamedia |
||
| 338 |
_aWolumin _bnc _2rdacarrier |
||
| 490 | 1 | _aPerspectives in Logic | |
| 504 | _aBibliografia na stronach 177-186. Indeks. | ||
| 650 | 7 | _aFunkcje obliczalne | |
| 650 | 7 | _aLogika symboliczna i matematyczna | |
| 710 | 2 |
_aCambridge University Press _eWydawca _4pbl |
|
| 710 | 2 |
_aAssociation for Symbolic Logic _eWydawca _4pbl |
|
| 830 | 0 | _aPerspectives in Logic | |
| 920 |
_a978-1-108-42329-8 _qHardback |
||
| 942 |
_cBK _2nseq |
||
| 999 |
_c28296 _d28296 |
||