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 |