Results of search for 'su:"Proof theory."' › Matheson Library catalog

Not what you expected? Check for suggestions

Results
	1.	No cover image available Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / edited by M.M. Richter ... [et al.] by Logic Colloquium (1983 : Aachen) Richter, Michael M, 1938- Series: Lecture notes in mathematics (Springer-Verlag) ; 1104 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1984 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 L832c. Place hold Add to cart (remove)
	2.	No cover image available An introduction to the nature of proof / J.J. Del Grande, J.C. Egsgard, H.A. Mulligan ; [edited by] A.J. Coleman. by Del Grande, J. J Egsgard, J. C Mulligan, H. A Coleman, A. J Material type: Text; Format: print Publication details: Toronto : Gage, c1967 Availability: Items available for loan: Matheson Library (1)Call number: 511.3 D331. Place hold Add to cart (remove)

Refine your search