scientific article
From MaRDI portal
Publication:4067060
zbMath0309.02012MaRDI QIDQ4067060
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items (4)
A novel approach to equality ⋮ Neutral free logic: motivation, proof theory and models ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Descriptions in mathematical logic
This page was built for publication:
