scientific article
From MaRDI portal
Publication:3141961
zbMATH Open0788.03008MaRDI QIDQ3141961
Publication date: 5 June 1994
Title of this publication is not available (Why is that?)
Other nonclassical logic (03B60) Abstract deductive systems (03B22) Proof theory and constructive mathematics (03F99)
Related Items (2)
Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3141961)
