A first course in logic

zbMATH Open1457.03001MaRDI QIDQ4582006FDOQ4582006

Authors: Mark V. Lawson 

Publication date: 22 August 2018

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

Recommendations

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary logic. For software development
• Title not available (Why is that?)
• Title not available (Why is that?)

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)