scientific article; zbMATH DE number 3052788

MaRDI QIDQ5792035zbMATH OpenFDO

Authors Alonzo Church

Publication date 1948

Full work available at URL https://eudml.org/doc/114661

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(4)

• Programming problems in mathematical logic
• Non-commutative propositional logic with short-circuit evaluation
• Fully evaluated left-sequential logics
• Conditional logic as a short-circuit logic

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