عنوان
پدید آورنده
موضوع
رده
QA 9 .A638
QA
9
.
A638
کتابخانه
محل استقرار
An introduction to mathematical logic and type theory: to truth through proof
Orlando
Academic Press
1986
xv, 304 p. : ill
Computer science and applied mathematics
Includes bibliographical references )p.293-295( and index
Peter B. Andrews
1
، Logic, Symbolic and mathematical
، Type theory
QA
9
.
A638
NO
Andrews, Peter Bruce
AU
TI
