An introduction to mathematical logic and type theory
Subtitle: to truth through proof
By: by Peter B. Andrews.
Edition: 2nd ed.
Series: Applied logic series ;; v. 27
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 390
Subjects: Logic, Symbolic and mathematical; Type theory
Description: "This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--BOOK JACKET.
Notes: Includes bibliographical references (p. 371-380) and index.