机读格式显示(MARC)
- 000 01071cam 2200325 a 4500
- 008 740516s1953 ne b 000 0 eng
- 040 __ |a DLC |c OYU |d OCoLC |d DLC
- 100 1_ |a Tarski, Alfred.
- 245 10 |a Undecidable theories / |c by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
- 260 __ |a [Amsterdam] : |b [North-Holland Pub. Co.], |c 1953.
- 300 __ |a xi, 98 p. ; |c 22 cm.
- 440 _0 |a Studies in logic and the foundations of mathematics
- 504 __ |a Includes bibliographical references (p. 89-91).
- 650 _0 |a Metamathematics.
- 700 1_ |a Mostowski, Andrzej.
- 700 1_ |a Robinson, Raphael M.
- 905 __ |a CAU |f 517/T177
- 905 __ |a CAU |f O143/TA |b E0233149(or.)
- 907 __ |a CAU |f O143/TA |b E0233149(or.)
- 999 __ |t E |A hsx |a 20070607 16:05:06 |G wzhlc |g 20070508 15:10:23 |I wzhlc |i 20071025 16:03:4