Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար 'Luckhardt, Horst', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Extensional Gödel functional interpretation : A consistency proof of classical analysis /
    Luckhardt, Horst
    Հրապարակվել է 1973
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը