Title: An introduction to mathematical logic and 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.
Subjects: Symbolic and mathematical Logic, Type theory, Logic, symbolic and mathematical