BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS (Q5402234)
From MaRDI portal
scientific article; zbMATH DE number 6265963
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS |
scientific article; zbMATH DE number 6265963 |
Statements
BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS (English)
0 references
6 March 2014
0 references
grounding
0 references
Abfolge
0 references
Gentzen
0 references
calculus of sequents
0 references
canonical normal proofs
0 references
0 references
0 references
