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.
- 12 March 1988
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 53 (1) , 312-314
- https://doi.org/10.2307/2274454
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: