Natural deduction : a proof-theoretical study /

Hlavní autor:
Prawitz, Dag ( Autor )
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Mineola, New York : Dover Publications, [2006].
Edice: Dover books on mathematics
Předmět:
Externí odkaz: Obsah knihy