Undecidable theories

Enregistré dans:
Détails bibliographiques
Auteur principal : Tarski Alfred (Auteur)
Autres auteurs : Mostowski Andrzej (Collaborateur), Robinson Raphael Mitchel (Collaborateur)
Format : Livre
Langue : anglais
Titre complet : Undecidable theories / by Alfred Tarski,...; in collaboration with Andrzej Mostowski,... and Raphael M. Robinson,...
Publié : Amsterdam : North-Holland , 1971
Description matérielle : 1 vol. (XI-98 p.)
Collection : Studies in logic and the foundations of mathematics
Sujets :
LEADER 01443cam a2200397 n 4500
001 PPN014761238
003 http://www.sudoc.fr/014761238
005 20240314171200.0
010 |a 07204-2246-9  |b br. 
035 |a (OCoLC)490189414 
035 |a ocm00305684 
100 |a 19720510d1971 k y0frey0103 ba 
101 0 |a eng 
102 |a NL 
105 |a y ||||000yy 
106 |a r 
200 1 |a Undecidable theories  |b Texte imprimé  |f by Alfred Tarski,...  |g in collaboration with Andrzej Mostowski,... and Raphael M. Robinson,... 
210 |a Amsterdam  |c North-Holland  |d 1971 
215 |a 1 vol. (XI-98 p.)  |d 23 cm 
225 0 |a Studies in logic and the foundations of mathematics 
320 |a Bibliogr. p. 89-91 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
606 |3 PPN027351432  |a Gödel, Théorème de  |2 rameau 
680 |a QA9 
700 1 |3 PPN028527704  |a Tarski  |b Alfred  |f 1901-1983  |4 070 
702 1 |3 PPN055276997  |a Mostowski  |b Andrzej  |f 1913-1975  |4 205 
702 1 |3 PPN083310568  |a Robinson  |b Raphael Mitchel  |f 1911-1995  |4 205 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20171021  |g AFNOR 
915 |5 441092208:639682154  |b 4480 
930 |5 441092208:639682154  |b 441092208  |a 03C72  |j u 
979 |a CCFA 
991 |5 441092208:639682154  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 4480  |d CMB  |e BAP  |s d  |c 03C72 
998 |a 842236