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)

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

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)