Undecidable theories/

Main Author: Tarski, Alfred, 1901-1983
Other Authors: Mostowski, Andrzej, Robinson, Raphael M.
Format: Book
Language:English
Published: Amsterdam: North Holland, c1953
Series:Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra
Subjects:
LEADER 00875nam a2200217 a 4500
001 1291899
005 20171111232727.0
008 991008s1953 gr erb 001 0 eng d
040 |a GrAtEKP.Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 511.3 
100 1 |a Tarski, Alfred,  |d 1901-1983 
245 1 0 |a Undecidable theories/  |c by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson 
260 |a Amsterdam:  |b North Holland,  |c c1953 
300 |a xi, 98 p. ;  |c 23 cm. 
490 0 |a Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra 
504 |a Includes bibliography (p. 89-91) and index 
650 0 |a Go?delʹs theorem 
650 0 |a Metamathematics 
700 1 |a Mostowski, Andrzej 
700 1 |a Robinson, Raphael M. 
952 |a GrAtEKP  |b 59cd0d726c5ad134460e6cd6  |c 998a  |d 945l  |e 511.3 TarA u 1953  |t 4  |x m  |z Books