Notes on the formalization of logic
By: compiled by Dana Scott ; with the aid of David Bostock ... [et al.]. [Vol.1], Parts 1 & 2.
Contributors: Bostock, David.
Series: Study aids monograph -- no.2
Publisher: [Oxford University] Sub-faculty of Philosophy
Published: 1981
Place of publication: Oxford
Language: eng