Undecidable theories

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