A theory of formal deducibility.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Notre Dame, Ind.,
1966, ©1950.
|
| Edition: | [2d ed.]. |
| Series: | Notre Dame mathematical lectures
no. 6. |
| Subjects: |