Elementary logic. For software development

MaRDI QIDQ5434189zbMATH OpenFDO

Authors Robert Lover

Publication date 3 January 2008

zbMATH Keywords

first-order predicate logicmathematical logicprogram testingpropositional logicsoftware developmenttracingverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 605797
• Logic and reasoning
• A first course in logic
• scientific article; zbMATH DE number 53085
• scientific article; zbMATH DE number 46338

Cited in

(8)

• Symmetries of knowledge bases
• scientific article; zbMATH DE number 992300 (Why is no real title available?)
• scientific article; zbMATH DE number 49423 (Why is no real title available?)
• scientific article; zbMATH DE number 605797 (Why is no real title available?)
• scientific article; zbMATH DE number 1090795 (Why is no real title available?)
• A first course in logic
• Essential logic for computer science
• Logic for computer scientists

This page was built for publication: Elementary logic. For software development

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