An introduction to mathematical logic and type theory

Descripción

"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.