IMSc Library catalog › Results of search for 'au:"Kahle, Reinhard. Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001 by Kahle, Reinhard. Ed \| Schroeder-Heister, Peter. Ed \| Stark, Robert. Ed. Series: Lecture notes in computer science ; 02183Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Gentzens centenary The quest for consistency by Kahle, Reinhard. Ed \| Rathjen, Michael. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KAH. Place hold Log in to add tags