LDR | |
01496nam a22003371 4500 |
001 |
|
004484614 |
003 |
|
MiAaHDL |
005 |
|
20250106000000.0 |
006 |
|
m d |
007 |
|
cr bn ---auaua |
008 |
|
940225t19711953ne 000 0 eng u |
035 |
⊔ |
⊔ |
‡a(MiU)990044846140106381
|
035 |
⊔ |
⊔ |
‡asdr-miu.990044846140106381
|
035 |
⊔ |
⊔ |
‡z(MiU)MIU01000000000000004484614-goog
|
035 |
⊔ |
⊔ |
‡a(OCoLC)4867172
|
035 |
⊔ |
⊔ |
‡a(RLIN)MIFG90-B7726
|
035 |
⊔ |
⊔ |
‡z(MiU)Aleph004484614
|
040 |
⊔ |
⊔ |
‡cPLF
‡dm.c.
‡dCU
‡dCStRLIN
‡dUtOrBLW
|
090 |
⊔ |
⊔ |
‡aQA9
‡b.T33
‡i04/27/90 T
|
100 |
1 |
⊔ |
‡aTarski, Alfred,
‡d1901-1983.
‡0http://id.loc.gov/authorities/names/n50008718
‡1http://id.loc.gov/rwo/agents/n50008718
|
245 |
1 |
0 |
‡aUndecidable theories /
‡cIn collaboration with Andrzej Mostowski and Raphael M. Robinson.
|
250 |
⊔ |
⊔ |
‡a[3d printing].
|
260 |
⊔ |
⊔ |
‡aAmsterdam :
‡bNorth-Holland Pub. Co.,
‡c1971, c1953.
|
300 |
⊔ |
⊔ |
‡axi, 101 p. ;
‡c23 cm.
|
336 |
⊔ |
⊔ |
‡atext
‡btxt
‡2rdacontent
|
337 |
⊔ |
⊔ |
‡aunmediated
‡bn
‡2rdamedia
|
338 |
⊔ |
⊔ |
‡avolume
‡bnc
‡2rdacarrier
|
490 |
0 |
⊔ |
‡aStudies in logic and the foundations of mathematics
|
504 |
⊔ |
⊔ |
‡aBibliography: p. 89-91.
|
538 |
⊔ |
⊔ |
‡aMode of access: Internet.
|
650 |
⊔ |
0 |
‡aGödel's theorem.
‡0http://id.loc.gov/authorities/subjects/sh85055601
|
700 |
1 |
⊔ |
‡aRobinson, Raphael M.
‡q(Raphael Mitchel),
‡d1911-
‡0http://id.loc.gov/authorities/names/n88636278
‡1http://id.loc.gov/rwo/agents/n88636278
|
700 |
1 |
⊔ |
‡aMostowski, Andrzej.
|
899 |
⊔ |
⊔ |
‡a49015001019430
|
CID |
⊔ |
⊔ |
‡a004484614
|
DAT |
0 |
⊔ |
‡a20241218071911.0
‡b20250106000000.0
|
DAT |
1 |
⊔ |
‡a20250107192053.0
‡b2025-01-08T15:04:44Z
|
DAT |
2 |
⊔ |
‡a2019-03-11T18:00:03Z
|
CAT |
⊔ |
⊔ |
‡aSDR-MIU
‡cmiu
‡dALMA
‡lprepare.pl-004-009
|
FMT |
⊔ |
⊔ |
‡aBK
|
HOL |
⊔ |
⊔ |
‡0sdr-miu.990044846140106381
‡aMiU
‡bSDR
‡cMIU
‡f004484614
‡pmdp.49015001019430
‡sMIU
‡1990044846140106381
|
974 |
⊔ |
⊔ |
‡bMIU
‡cMIU
‡d20250108
‡sgoogle
‡umdp.49015001019430
‡y1953
‡ric
‡qbib
‡tnon-US bib date2, date type t >= 1930
|