عنوان
پدید آورنده
موضوع
رده
QA 9 .A638 2002
QA
9
.
A638
2002
کتابخانه
محل استقرار
139359
پائیز۴۸
English
)20(
Andrews, P. B. )Peter Bruce(
7391-
An introduction to mathematical logic and type theory: to truth through proof
Dordrecht ; Boston
Kluwer Academic Publishers
2002
xviii, 390 p.: ill.; 25 cm
Applied logic series
v. 27
Includes bibliographical references and index
2nd ed
، Logic, Symbolic and mathematical
، Type theory
QA
9
.
A638
2002
AU
by Peter B. Andrews
TI
SE
02
