An introduction to mathematical logic and type theory
Subtitle: to truth through proof
By: Peter B. Andrews.
Series: Computer science and applied mathematics
Publisher: Academic Press; Academic Pr
Published: 1986
Place of publication: Orlando
Language: eng
Number of pages: 304
Subjects: Logic, Symbolic and mathematical.; Type theory.
Notes: Bibliography: p. 293-295.
Includes index.