Your search returned 2 results.

Results
	1.		Proceeding on the foundations of mathematics Muller G H Ed.; Takeuti G Ed.; Tuge T Ed. by Muller G H Ed Symposium on the foundation (1981 : Hakone) Takeuti G Ed Tuge T Ed Series: Lecture notes in mathematics; 891 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B316p1,N80 M1. Place hold Save to lists Add to cart (remove)
	2.		Formally self-referential propositions for cut free classical analysis and related systems Kreisel G; Takeuti G by Kreisel G Takeuti G Series: Dissertationes mathematicae; 118 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Warezawa Panstwowe Wydawnictwo Naukowe 1970 Availability: Items available for loan: Central Science Library (1)Collection, call number: B313N L42. Place hold Save to lists Add to cart (remove)

Refine your search