Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Principles of Intuitionism [electronic resource] : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra. by
  • Troelstra, A. S [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 95
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1969
Online access:
Availability: No items available.
Add to cart
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra. by
  • Troelstra, A. S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 344
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
Online access:
Availability: No items available.
Add to cart
Pages
(C) Powered by Koha

Powered by Koha