A first course in logic

MaRDI QIDQ4582006zbMATH OpenFDO

Authors Mark V. Lawson

Publication date 22 August 2018

Full work available at URL https://www.taylorfrancis.com/books/9780815386650

zbMATH Keywords

NP-completenesscompletenessfirst-order logicsequent calculuspropositional logicBoolean algebrasproof treessequential circuitscombinatorial circuitsP = NP

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of Boolean algebras (03G05)

Recommendations

• Mathematical logic
• scientific article; zbMATH DE number 427553
• Introduction to mathematical logic
• Elementary logic. For software development
• scientific article; zbMATH DE number 193061

Cited in

(8)

• scientific article; zbMATH DE number 728180 (Why is no real title available?)
• scientific article; zbMATH DE number 1182727 (Why is no real title available?)
• scientific article; zbMATH DE number 2134000 (Why is no real title available?)
• scientific article; zbMATH DE number 427553 (Why is no real title available?)
• Elementary logic. For software development
• scientific article; zbMATH DE number 1731779 (Why is no real title available?)
• scientific article; zbMATH DE number 3304883 (Why is no real title available?)
• scientific article; zbMATH DE number 49802 (Why is no real title available?)

This page was built for publication: A first course in logic

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