عنوان
پدید آورنده
موضوع
رده
QA 9 .A638
QA
9
.
A638
کتابخانه
محل استقرار
CE H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
ANDREWS,PETER BRUCE
Title Proper
An introduction to mathematical logic & type theory:to truth
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1986
TOPICAL NAME USED AS SUBJECT
Entry Element
LOGIC,SYMBOLIC & MATHEMATICAL
Entry Element
TYPE THEORY
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
9
Classification Record Number
.
A638
