An introduction to mathematical logic and type theory : to truth through proof

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

Saved in:
Bibliographic Details
Main Author: Andrews, P. B. (Peter Bruce), 1937-
Format: Book
Language:English
Published: Orlando : Academic Press, 1986.
Series:Computer science and applied mathematics.
Subjects:
Logic, Symbolic and mathematical.
Type theory.
Description
Item Description:Includes index.
Physical Description:xv, 304 p. ; 24 cm.
Bibliography:Bibliography: p. 293-295.
ISBN:0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)

Similar Items