عنوان
پدید آورنده
موضوع
رده
QA 9 .A638
QA
9
.
A638
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
3701
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Andrews, P. B.)Peter Bruce(,7391-
Title Proper
An introduction to mathematical logic and type theory. to truth through proof
.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. 24 cm.
GENERAL NOTES
Text of Note
Bibliography: p. 293-295.
Text of Note
Includes index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
A638
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Peter B. Andrews
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ه مرکزیانابخن کتش التیبخ
