This VIAF Cluster has been deleted. It is no longer part of VIAF.
Andrews, P. B. (Peter Bruce), 1937-. | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
VIAF ID: 313849150 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/313849150
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Andrews, P. B.