Logical reasoning. A first course

MaRDI QIDQ3376918zbMATH OpenFDO

Authors Rob Nederpelt, Fairouz Kamareddine

Publication date 27 March 2006

zbMATH Keywords

natural deductiontextbookformal logical reasoning

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) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• Logic as a tool. A concise guide to logical reasoning
• Logic and reasoning
• scientific article; zbMATH DE number 3715499
• scientific article; zbMATH DE number 193061
• scientific article; zbMATH DE number 108022

Cited in

(6)

• Logic, mathematics, and computer science. Modern foundations with practical applications
• A new proposal for fusing individual preference orderings by rank-ordered agents: a generalization of the Yager's algorithm
• Logic as a tool. A concise guide to logical reasoning
• scientific article; zbMATH DE number 3094249 (Why is no real title available?)
• Elements of logical reasoning
• A novel algorithm for fusing preference orderings by rank-ordered agents

This page was built for publication: Logical reasoning. A first course

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