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