scientific article; zbMATH DE number 1278449

zbMath0938.03001MaRDI QIDQ4239317

José L. Zalabardo

Publication date: 25 April 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural deductionclassical logic

Mathematics Subject Classification ID

Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Set theory (03E99)

This page was built for publication: