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,02 s. Upresniť hľadanie
Proof theory : the first step into impredicativity /
Combinators, λ-terms and proof theory.

Nová teorie důkazu : a komentovaný český překlad směrnice ENFSI pro znalecké hodnocení ve forenzních vědách /
Handbook of the history of logic. Volume 5, Logic from Russell to church /

Vyhľadávacie nástroje: RSS – Uložiť hľadanie