عنوان
پدید آورنده
موضوع
رده
QA9 .A638
QA9
.
A638
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
324395
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
An introduction to mathematical logic and type theory. to truth through proof
General Material Designation
[Book]
First Statement of Responsibility
/ Peter B. Andrews
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Orlando
Name of Publisher, Distributor, etc.
: Academic Press
Date of Publication, Distribution, etc.
,1986.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 304 p.
Other Physical Details
: 24 cm.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index.
Text of Note
Bibliography: p. 293-295.
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
A638
PERSONAL NAME - PRIMARY RESPONSIBILITY
Andrews, P. B.(Peter Bruce),1937-
ORIGINATING SOURCE
Country
ایران
Agency
Central Library of the University of Kurdistan
old catalog
BL
1
a
Y
