scientific article
From MaRDI portal
Publication:3967510
zbMath0502.03003MaRDI QIDQ3967510
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
existencetruthprovabilityGentzen's sequentssecond-order logicsfirst order quantification calculiintuitionist and classical logictruth- value semantics
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Collected or selected works; reprintings or translations of classics (01A75) Classical propositional logic (03B05)
Related Items (2)
The semantics of entailment omega ⋮ Near-equational and equational systems of logic for partial functions. I
This page was built for publication:
