Doporučené témy vo výsledkoch tohto hľadania:
Zobrazujem výsledky 1 - 4 z 4 pre vyhľadávanie '"proof theory"'
Doba hľadania: 0,01 s. Upresniť hľadanie
  1. 1
    Proof theory : the first step into impredicativity /
    Autor Pohlers, Wolfram
    Vydané 2009
    Kniha

    Pridať do obľúbených
    Uložené v:
  2. 2
    Combinators, λ-terms and proof theory.
    Autor Stenlund, Sören, 1943-2019
    Vydané 1972
    Kniha

    Pridať do obľúbených
    Uložené v:
  3. 3
    Nová teorie důkazu : a komentovaný český překlad směrnice ENFSI pro znalecké hodnocení ve forenzních vědách /
    Témy: “...proof theory SVKKKPHeng...”
    Kniha

    Pridať do obľúbených
    Uložené v:
  4. 4
    Handbook of the history of logic. Volume 5, Logic from Russell to church /
    Vydané 2009
    Kniha

    Pridať do obľúbených
    Uložené v:
Vyhľadávacie nástroje: RSS – Uložiť hľadanie