scientific article; zbMATH DE number 753768

zbMath0816.03002MaRDI QIDQ4698601

I. Hacking

Publication date: 20 July 1995

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

zbMATH Keywords

general theory about classical logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

An axiom system for orthomodular quantum logic ⋮ Remarks on the Scott-Lindenbaum theorem

This page was built for publication: