Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 3 արդյունքները 3 այս փնտրման համար '', հարցման ժամանակը: 0.06s Հստակեցնել արդյունքները
  1. 1
    Extensional Gödel functional interpretation : A consistency proof of classical analysis /
    Luckhardt, Horst
    Հրապարակվել է 1973
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies /
    Հրապարակվել է 1981
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Proof theory and intuitionistic systems /
    Scarpellini, Bruno
    Հրապարակվել է 1971
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը