ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RA

Your search returned 3 results.

1.

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; Literary form: Not fiction

Language: English

Publication details: Berlin New York : Springer-Verlag, 1973

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/3345.

2.

Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies / Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. by

Series: Lecture notes in mathematics (Springer-Verlag) ; 897.

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: Berlin ; New York : Springer-Verlag, 1981

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5863.

3.

Proof theory and intuitionistic systems / Bruno Scarpellini. by

Scarpellini, Bruno

Series: Lecture notes in mathematics (Springer-Verlag) ; 212.

Material type:

Text; Literary form: Not fiction

Language: English

Publication details: Berlin ; New York : Springer-Verlag, 1971

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/3084.

Not finding what you're looking for?

Make a purchase suggestion

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

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