|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
JSTOR_ocn945632447 |
| 003 |
OCoLC |
| 005 |
20231005004200.0 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
160328s1961 xxu o 000 0 eng d |
| 040 |
|
|
|a JSTOR
|b eng
|e rda
|e pn
|c JSTOR
|d YDXCP
|d DEBBG
|d N$T
|d IDEBK
|d UIU
|d DEBSZ
|d OCLCQ
|d IOG
|d TXI
|d EZ9
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|
| 020 |
|
|
|a 9781400882007
|q (electronic bk.)
|
| 020 |
|
|
|a 1400882001
|q (electronic bk.)
|
| 020 |
|
|
|z 069108047X
|
| 020 |
|
|
|z 9780691080475
|
| 029 |
1 |
|
|a CHBIS
|b 010896147
|
| 029 |
1 |
|
|a CHVBK
|b 483397717
|
| 029 |
1 |
|
|a DEBBG
|b BV043712460
|
| 029 |
1 |
|
|a DEBSZ
|b 478624964
|
| 035 |
|
|
|a (OCoLC)945632447
|
| 037 |
|
|
|a 22573/ctt1b9g3dq
|b JSTOR
|
| 050 |
|
4 |
|a QA248.5
|
| 072 |
|
7 |
|a SCI064000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 511.33
|2 22
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Smullyan, Raymond M.
|q (Raymond Merrill)
|
| 245 |
1 |
0 |
|a Theory of formal systems /
|c R.M. Smullyan.
|
| 250 |
|
|
|a Revised edition.
|
| 264 |
|
1 |
|a [Place of publication not identified] :
|b Princeton U.P.,
|c 1961.
|
| 300 |
|
|
|a 1 online resource (147 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Annals of mathematics studies ;
|v 47
|
| 588 |
0 |
|
|a Print version record.
|
| 590 |
|
|
|a JSTOR
|b Books at JSTOR All Purchased
|
| 590 |
|
|
|a JSTOR
|b Books at JSTOR Demand Driven Acquisitions (DDA)
|
| 590 |
|
|
|a JSTOR
|b Books at JSTOR Evidence Based Acquisitions
|
| 650 |
|
0 |
|a Recursive functions.
|
| 650 |
|
0 |
|a Mathematics.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
6 |
|a Fonctions récursives.
|
| 650 |
|
6 |
|a Mathématiques.
|
| 650 |
|
6 |
|a Logique symbolique et mathématique.
|
| 650 |
|
7 |
|a applied mathematics.
|2 aat
|
| 650 |
|
7 |
|a mathematics.
|2 aat
|
| 650 |
|
7 |
|a SCIENCE
|x System Theory.
|2 bisacsh
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
|
7 |
|a Mathematics.
|2 fast
|0 (OCoLC)fst01012163
|
| 650 |
|
7 |
|a Recursive functions.
|2 fast
|0 (OCoLC)fst01091984
|
| 776 |
0 |
8 |
|i Print version:
|a Smullyan, Raymond M. (Raymond Merrill).
|t Theory of formal systems.
|b Revised edition.
|d [Place of publication not identified] : Princeton U.P., 1961
|z 069108047X
|w (OCoLC)504032368
|
| 830 |
|
0 |
|a Annals of mathematics studies ;
|v no. 47.
|
| 856 |
4 |
0 |
|u https://jstor.uam.elogim.com/stable/10.2307/j.ctt1b7x7ww
|z Texto completo
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 1432972
|
| 938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis34227266
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 12905817
|
| 994 |
|
|
|a 92
|b IZTAP
|
