Natural deduction : a proof-theoretical study /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Mineola, N.Y. :
Dover Publications,
c2006
|
| Edice: | Dover books on mathematics
|
| Témata: |
| Fyzický popis: | viii, 113 s. |
|---|---|
| Bibliografie: | Obsahuje bibliografii (s. [106]-109) a rejstříky |
| ISBN: | 0-486-44655-7 9780486446554 |