scientific article; zbMATH DE number 3563038

zbMATH Open0362.02015MaRDI QIDQ4135469FDOQ4135469

Authors: John Myhill 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Classical propositional logic (03B05) Combinatory logic and lambda calculus (03B40)

Cited In (3)

• Implication and analysis in classical Frege structures
• A note on contraction-free logic for validity
• Non-contractability and revenge

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 Q4135469)