Books

Title: Logic Colloquium 76
Series: Studies in Logic and the Foundations of Mathematics
Volume: 87
Author(s): Gandy, R.O. Hyland, J.M.E.
Publisher: North-Holland
Location: Amsterdam
Year: 1977

Edit | Back