Natural Deduction, Inference, and Consistency

DOI10.2307/2034655MaRDI QIDQ5518350zbMATH OpenOpenAlexFDO

Authors Robert L. Stanley

Publication date 1965

Full work available at URL https://doi.org/10.2307/2034655

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3196240 (Why is no real title available?)
• scientific article; zbMATH DE number 3085191 (Why is no real title available?)
• Simplified foundations for mathematical logic
• Syntactical and semantical properties of simple type theory

This page was built for publication: Natural Deduction, Inference, and Consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5518350)