عنوان
پدید آورنده
موضوع
رده
QA 9 .K77 1967
QA
9
.
K77
1967
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
34632
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Elements de logique mathematique
General Material Designation
[Book]
Other Title Information
: theories and modeles
First Statement of Responsibility
/ G. Kreisel, J. L. Krivine
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
paris
Name of Publisher, Distributor, etc.
: Dunod
Date of Publication, Distribution, etc.
, 1967
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 212 p.
Other Physical Details
:
Dimensions
; 25 cm
GENERAL NOTES
Text of Note
English
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
Mathematical models
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
Book number
.
K77
1967
PERSONAL NAME - PRIMARY RESPONSIBILITY
Kreisel, Georg, author
PERSONAL NAME - SECONDARY RESPONSIBILITY
Krivine, J. L (Jean Louis)
ORIGINATING SOURCE
Country
ایران
Agency
University of Tehran. Library of Technical Camp 1
Old cataloging
p
BL
1
Y
