A theory of formal deducibility/
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Notre Dame:
University of Notre Dame Press,
1966
|
| Edition: | 3rd |
| Series: | Notre Dame Mathematical Lectures ;
6 |
| Subjects: |