GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029)
From MaRDI portal
scientific article; zbMATH DE number 7063877
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC |
scientific article; zbMATH DE number 7063877 |
Statements
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (English)
0 references
7 June 2019
0 references
free logic
0 references
proof theory
0 references
sequent calculus
0 references
generality
0 references
