General proof theory: introduction (Q2631640)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General proof theory: introduction |
scientific article |
Statements
General proof theory: introduction (English)
0 references
15 May 2019
0 references
general proof theory
0 references
proof-theoretic semantics
0 references
natural deduction
0 references
0 references
