Introduction to Mathematical Logic (PMS-13)
From MaRDI portal
Publication:5834301
DOI10.1515/9781400881451zbMath0060.02007OpenAlexW2478940834MaRDI QIDQ5834301
No author found.
Publication date: 1944
Full work available at URL: https://doi.org/10.1515/9781400881451
Related Items (7)
Basic properties of deductive systems based on nonclassical logics. Part I, II ⋮ The categoricity question of certain grand logics ⋮ The SNePS family ⋮ On the Mints Hierarchy in First-Order Intuitionistic Logic ⋮ A linear and discrete programming framework for representing qualitative knowledge ⋮ Tools for reformulating logical forms into zero-one mixed integer programs ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication: Introduction to Mathematical Logic (PMS-13)