-
RecordNumber
2834
-
Author
Andrews, Peter Bruce
-
Title
An introduction to mathematical logic and type theory: to truth through proof
-
Author Statement
Peter B. indrews
-
Publication
Academic Press
-
Publication Year
1986
-
Collation
xv, 304P., illus
-
Series
Computer science and applied mathematics
-
Notes
0120585367 , Bibliography: P. 293-295
-
Subject
Type theory , Logic,Symbolic and mathematical
-
LC Class
QA
-
LC Number
9
-
LC CutterNumber
.A638
-
Link To Document :
