Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Proof theory and intuitionistic systems

by Scarpellini, Bruno | .

Series: NASA TM 84317 : 1983Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1971Availability: Items available for loan: 1 Call number: 517.1 Sca.

Place hold Add to cart
Proof theory and intuitionistic systems (e-book)

by Scarpellini, Bruno.

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

Add to cart
Pages

Powered by Koha