Extensional Godel functional interpretation : a consistency proof of classical analysis

By: Luckhardt, HorstContributor(s): Language: English Series: BSI 6057 : part - 3 : sect. - 3.13 : 1984Publication details: Berlin ; Springer-Verlag, ; 1973Edition: Description: vi,161 p; 24.5 cmISBN: 3-540-06119-30Subject(s): | Godel's theorem | Proof theory
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		517.5 Luc Available C05B14 83588
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha