RecordNumber
46113
LC Class
QA
LC Number
9
LC CutterNumber
.K77
Author
Kreisel, Georg
Title
Elements de logique mathematique
Author Statement
[par] G. Kreisel, J. L. Krivine
Publication
Dunod
Collation
viii, 214 p. 25 cm
Series
Monographies de la Societe mathematique de France
Subject
Logic, Symbolic and mathematical , Mathematical models
ADDED ENTRIES
Krivine, J. L , ,
SubTitle
theorie des modeles