Your search returned 2 results.

Results
		David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 William Ewald. by Ewald, William (Ed.) Sieg, Wilfried Material type: Text; Format: print ; Literary form: Not fiction Language: Eng Publication details: New York Springer 2013 Availability: Items available for loan: IISER Central Library (1)Call number: 516 EWA-D. Place hold Add to cart (remove)
		Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. by Buchholz, Wilfried [author.] Feferman, Solomon [author.] Pohlers, Wolfram [author.] Sieg, Wilfried [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 897 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search