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