Franklin

An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.

Author/Creator:
Andrews, P. B. (Peter Bruce), 1937-
Publication:
Orlando : Academic Press, 1986.
Series:
Computer science and applied mathematics.
Format/Description:
Book
xv, 304 p. ; 24 cm.
Subjects:
Logic, Symbolic and mathematical.
Type theory.
Notes:
Includes index.
Bibliography: p. 293-295.
ISBN:
0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)
OCLC:
12419063
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy