Fundamental Scientific Library of NAS RA

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt.

by Luckhardt, Horst.

Series: Lecture notes in mathematics (Springer-Verlag) ; 306.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin New York : Springer-Verlag, 1973Availability: Items available for loan: 1 Call number: Gulb/3345.

Place hold Add to cart
Principles of intuitionism / A. S. Troelstra.

by Troelstra, Anne Sjerp.

Series: Lecture notes in mathematics (Springer-Verlag) ; 95.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin ; Heidelberg ; New York : Springer-Verlag, 1969Availability: Items available for loan: 1 Call number: Gulb/3078.

Place hold Add to cart
Proof theory and intuitionistic systems / Bruno Scarpellini.

by Scarpellini, Bruno.

Series: Lecture notes in mathematics (Springer-Verlag) ; 212.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1971Availability: Items available for loan: 1 Call number: Gulb/3084.

Place hold Add to cart
Pages


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License