Your search returned 4 results.

Results
	1.	Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley by Schutte, Kurt Crossley, J.N., Tr Series: Grundlehren der mathematischen Wissenschaften, 225 Material type: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N771;1. Place hold
	2.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;1. Place hold
	3.	Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley by Schutte, Kurt Crossley J.N., Tr Series: Grundlehren der mathematischen Wissenschaften ; 225 Material type: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N771.
	4.	Proof theory and intuitionistic systems /by Bruno Scarpellini by Scarpellini, Bruno Series: Lecture Notes in Mathematics Material type: Book Publication details: Berlin S-V 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N714.

Refine your search