Undecidable theories

Spremljeno u:
Bibliografski detalji
Glavni autor: Tarski, Alfred, 1901-1983
Daljnji autori: Mostowski, Andrzej, 1913-1975 (Suradnik), Robinson, Raphael Mitchel, 1911-1995 (Suradnik)
Format: Livre papier
Jezik:Anglais
Izdano: Amsterdam : North-Holland 1971.
Serija:Studies in logic and the foundations of mathematics
Teme:
Autres localisations: Voir dans le Sudoc
LEADER 00838nam a22002057a 4500
001 376714
008 720510s1971 xxe ||| |||| 00| 0 eng d
009 PPN014761238
020 |a 0720422469 (br.) 
041 0 |a eng 
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 1971. 
300 |a 1 vol. (XI-98 p.) ;  |c 23 cm. 
490 0 |a Studies in logic and the foundations of mathematics 
504 |a Bibliogr. p. 89-91 
650 |a Gödel, Théorème de 
700 1 |a Mostowski, Andrzej,  |d 1913-1975.  |4 clb 
700 1 |a Robinson, Raphael Mitchel,  |d 1911-1995.  |4 clb 
997 |0 376714  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, 2087 TAR  |z Orléans, IDP, 5391 TAR