Natural deduction : a proof-theoretical study /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Mineola, N.Y. :
Dover Publications,
c2006
|
| Series: | Dover books on mathematics
|
| Subjects: |
For reservations/loans of the physical document, please log in.
Faculty of Arts
| Description | Status | Library | Collection | Call Number | Notes | Barcode |
|---|---|---|---|---|---|---|
|
Available Month CLOSED STACKS |
Faculty of Arts | sklad | A1-44415 | 2570804167 |
Faculty of Science
| Description | Status | Library | Collection | Call Number | Notes | Barcode |
|---|---|---|---|---|---|---|
|
Long term loan Due 2027-10-12 |
Faculty of Science | ÚK volný výběr | 510.6-PRAW |
pbk. |
3145354248 |