Hledat
teorie důkazů
http://psh.techlib.cz/skos/PSH7123
Anglický ekvivalent
proof theory
Nepreferovaná znění
konstruktivní matematika
složitost důkazu
struktura důkazu
Nadřazené heslo
matematická logika
Podřazená hesla
automatická dedukce
deduktivní systémy
Heslo ve formátu JSON-LD
Hlavní hesla
matematika
matematická logika
teorie důkazů
Katalog NTK
Šedá literatura
Podrobné výsledky v katalogu NTK >>
Podrobné výsledky v repozitáři NUŠL >>