عنوان
پدید آورنده
موضوع
رده
QA 9 .A638 1986
QA
9
.
A638
1986
کتابخانه
محل استقرار
101764
زمستان۳۷
English
)20(
Andrews, Peter Bruce
1937-
An introduction to mathematical logic and type theory : to truth through proof
Orlando
Academic Press
1986
xv, 304 p. ; 24 cm
Computer science and applied mathematics
Bibliography: p. 293-295
Includes index
، Logic, Symbolic and mathematical
، Type theory
QA
9
.
A638
1986
AU
Peter B. Andrews
TI
SE
02
