Elements of mathematical logic : (model theory)

Elements of mathematical logic : (model theory)

Saved in:
Bibliographic Details
Main Authors : Kreisel Georg (Auteur), Krivine Jean-Louis (Auteur)
Format : Book
Language : anglais
Title statement : Elements of mathematical logic : (model theory) / G. Kreisel,... J. L. Krivine,...
Edition : 2nd rev. printing
Published : Amsterdam : North-Holland Publishing Company , 1971
Physical Description : 1 vol. (XVIII-232 p.)
Series : Studies in logic and the foundations of mathematics
Content : Contient des exercices
Subjects :
Logique mathématique
Modèles mathématiques
Théorie des modèles
LEADER 01522cam a2200433 4500
001 PPN009162739
003 http://www.sudoc.fr/009162739
005 20240516055300.0
010 |a 07204-2265-5 
035 |a (OCoLC)758241737 
035 |a sib1045029 
100 |a 19980423h19711971k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL 
105 |a y z 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Elements of mathematical logic  |e (model theory)  |f G. Kreisel,... J. L. Krivine,... 
205 |a 2nd rev. printing 
214 0 |a Amsterdam  |c North-Holland Publishing Company  |d 1971 
215 |a 1 vol. (XVIII-232 p.)  |d 22 cm 
225 2 |a Studies in logic and the foundations of mathematics  |x 0049-237X 
327 | |a Contient des exercices 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027551385  |a Modèles mathématiques  |2 rameau 
606 |3 PPN027237869  |a Théorie des modèles  |2 rameau 
700 1 |3 PPN074448005  |a Kreisel  |b Georg  |f 1923-2015  |4 070 
701 1 |3 PPN030156149  |a Krivine  |b Jean-Louis  |f 1939-....  |4 070 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20191012  |g AFNOR 
979 |a PHILO 
930 |5 441092107:253011167  |b 441092107  |a L 3494  |j s 
991 |5 441092107:253011167  |a Rétroconversion Philosophie 
998 |a 445879