Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Gentzen's Centenary [electronic resource] : The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen. by Kahle, Reinhard [editor.] \| Rathjen, Michael [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Dag Prawitz on Proofs and Meaning [electronic resource] / edited by Heinrich Wansing. by Wansing, Heinrich [editor.] \| SpringerLink (Online service). Series: Outstanding Contributions to Logic ; 7Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)

Refine your search