Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Extensional Godel functional interpretation : a consistency proof of classical analysis

by Luckhardt, Horst | .

Series: BSI 6057 : part - 3 : sect. - 3.13 : 1984Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1973Availability: Items available for loan: 1 Call number: 517.5 Luc.

Place hold Add to cart
Extensional godel functional interpretation (e-book)

by Luckhardt, Horst.

Series: Lecture Notes in Mathematics (LNM) ; v.306Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1973Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha