| LDR | | 01361cmm u22003973 4500 |
| 001 | | 000000312860 |
| 003 | | OCoLC |
| 005 | | 20230525153210 |
| 006 | | m d |
| 007 | | cr ||||||||||| |
| 008 | | 160323s2016 nju o 000 0 eng d |
| 020 | |
▼a 1400882362
▼q (electronic bk.) |
| 020 | |
▼a 9781400882366
▼q (electronic bk.) |
| 035 | |
▼a 1432937
▼b (N$T) |
| 035 | |
▼a (OCoLC)945482727 |
| 037 | |
▼a 22573/ctt1bgtsnj
▼b JSTOR |
| 040 | |
▼a YDXCP
▼b eng
▼e pn
▼c YDXCP
▼d JSTOR
▼d OCLCF
▼d DEBBG
▼d OCLCQ
▼d N$T
▼d 248032 |
| 049 | |
▼a MAIN |
| 050 | 4 |
▼a BC135 |
| 072 | 7 |
▼a MAT018000
▼2 bisacsh |
| 082 | 04 |
▼a 164 |
| 100 | 1 |
▼a Emil L. Post. |
| 245 | 10 |
▼a Two-valued iterative systems of mathematical logic. (am-5)
▼h [electronic resource]. |
| 260 | |
▼a Princeton :
▼b Princeton Univ Press,
▼c 2016. |
| 300 | |
▼a 1 online resource |
| 336 | |
▼a text
▼b txt
▼2 rdacontent |
| 337 | |
▼a computer
▼b c
▼2 rdamedia |
| 338 | |
▼a online resource
▼b cr
▼2 rdacarrier |
| 650 | 0 |
▼a Logic, Symbolic and mathematical. |
| 650 | 7 |
▼a MATHEMATICS
▼x Logic.
▼2 bisacsh |
| 650 | 7 |
▼a Logic, Symbolic and mathematical.
▼2 fast
▼0 (OCoLC)fst01002068 |
| 655 | 4 |
▼a Electronic books. |
| 856 | 40 |
▼3 EBSCOhost
▼u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1432937 |
| 938 | |
▼a YBP Library Services
▼b YANK
▼n 12887039 |
| 938 | |
▼a EBSCOhost
▼b EBSC
▼n 1432937 |
| 990 | |
▼a 관리자 |
| 994 | |
▼a 92
▼b N$T |