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
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=46113&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
