عنوان
پدید آورنده
موضوع
رده
QA 9 .A638
QA
9
.
A638
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
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. : ill
SERIES
Other Title Information
Computer science and applied mathematics
GENERAL NOTES
Text of Note
Includes bibliographical references )p.293-295( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Peter B. Andrews
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
A638
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Andrews, Peter Bruce
Relator Code
AU
TI
