Andrews, P. B. 1937-
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. - Orlando : Academic Press, 1986. - xv, 304 p. - Computer science and applied mathematics .
0120585359 (alk. paper) 0120585367 (pbk. : alk. paper)
Logic, Symbolic and mathematical.
Type theory.
QA9 / .A638 1986
511.3�19
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. - Orlando : Academic Press, 1986. - xv, 304 p. - Computer science and applied mathematics .
0120585359 (alk. paper) 0120585367 (pbk. : alk. paper)
Logic, Symbolic and mathematical.
Type theory.
QA9 / .A638 1986
511.3�19