Natural Deduction, Inference, and Consistency (Q5518350)
From MaRDI portal
scientific article; zbMATH DE number 3230237
Language | Label | Description | Also known as |
---|---|---|---|
English | Natural Deduction, Inference, and Consistency |
scientific article; zbMATH DE number 3230237 |
Statements
1965
0 references
mathematical logic
0 references
Natural Deduction, Inference, and Consistency (English)
0 references