scientific article; zbMATH DE number 1090795

MaRDI QIDQ4366789zbMATH OpenFDO

Authors Jacques Zahnd

Publication date 23 November 1997

zbMATH Keywords

deductive systemselementary set theoryequational logicfirst-order logicformal reasoningpropositional logicspecification languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 988311
• Logic(s), formal languages and complexity for computer science
• Elementary logic. For software development
• A first course in logic

This page was built for publication:

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