Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Formally self-referential propositions for cut free classical analysis and related systems Kreisel G; Takeuti G by Series: Dissertationes mathematicae; 118
Material type: Text 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
2.
Elements of mathematical logic Kreisel G; Krivine J L Model theory by Series: Studies in logic and the foundations of mathematics ed by A Heyting
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1967
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K7.

Place hold Save to lists Add to cart