Proof theory and intuitionistic systems

By: Scarpellini, BrunoContributor(s): Language: English Series: NASA TM 84317 : 1983Publication details: Berlin ; Springer-Verlag, ; 1971Edition: Description: vii,289 p; 25 cmISBN: 3-540-005541-X0Subject(s): | Proof theory | Intutionistic mathematics
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.1 Sca Available C05B10 63123
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha