Introduction to Mathematical Logic (PMS-13)

DOI10.1515/9781400881451MaRDI QIDQ5834301zbMATH OpenOpenAlexFDO

Authors Alonzo Church

Publication date 1944

Full work available at URL https://doi.org/10.1515/9781400881451

zbMATH Keywords

foundations, philosophy, logic

Cited in

(8)

• The SNePS family
• A linear and discrete programming framework for representing qualitative knowledge
• Tools for reformulating logical forms into zero-one mixed integer programs
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• The categoricity question of certain grand logics
• The prehistory of the subsystems of second-order arithmetic
• On the Mints hierarchy in first-order intuitionistic logic
• Truth in Russell, early Wittgenstein and Gödel

This page was built for publication: Introduction to Mathematical Logic (PMS-13)

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