Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt.
Նյութի տեսակ։ ՏեքստԼեզու: Անգլերեն Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 306.Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1973.Նկարագրություն։ vi, 161 p. ; 26 cmISBN:- 0387061193 (New York)
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | Fundamental Scientific Library | Գալուստ Կյուլպենկյանի անհատական հավաքածու | Gulb/3345 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | ILL Non-Circ. | 901003345 |
Դիտման Fundamental Scientific Library դարակ, Հավաքածու։ Գալուստ Կյուլպենկյանի անհատական հավաքածու Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
Bibliogr.: p. 157-161.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։