Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

1988451 citationsJournal Article

Authors

Peter B. Andrews · Carnegie Mellon University

Abstract

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp. - Volume 53 Issue 1

Topics & Keywords

Logic, Reasoning, and Knowledge

Publication Details

Published in: Journal of Symbolic Logic

Volume 53, Issue 1, pp. 312-314

DOI: 10.2307/2274454

Field-Weighted Citation Impact: 16.72

Command Palette

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Authors

Abstract

Topics & Keywords

Publication Details