scientific article
From MaRDI portal
Publication:3086703
zbMath1227.03012MaRDI QIDQ3086703
Joke Meheus, Kristof De Clercq
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Structure of proofs (03F07)