000 01054cam a2200325 a 4500
001 16254872
003 BD-DhUL
005 20150225110758.0
008 100527s2010 nyua b 001 0 eng
010 _a 2010019851
020 _a9780486477039 (pbk.)
035 _a(OCoLC)ocn468972309
040 _aDLC
_cDLC
_dYDX
_dBTCTA
_dYDXCP
_dDLC
_dBD-DhUL
042 _apcc
050 0 0 _aQA9
_b.T33 2010
082 0 0 _a510.1
_222
_bTAU
100 1 _aTarski, Alfred.
245 1 0 _aUndecidable theories /
_cAlfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson.
250 _aDover ed.
260 _aMineola, N.Y. :
_bDover,
_c2010.
300 _aix, 98 p. :
_bill. ;
_c22 cm.
365 _aUSD
_b11.66
490 0 _aDover books on mathematics
500 _aOriginally published: Amsterdam : North-Holland Pub., 1953.
504 _aIncludes bibliographical references and index.
650 0 _aMetamathematics.
700 1 _aMostowski, Andrzej.
700 1 _aRobinson, Raphael M.
_q(Raphael Mitchel),
_d1911-
942 _2ddc
_cBK
999 _c4811
_d4811