Modelling Puzzles in First Order Logic

DOI10.1007/978-3-030-62547-4MaRDI QIDQ5007092zbMATH OpenOpenAlexFDO

Authors Adrian Groza

Publication date 25 August 2021

Full work available at URL https://doi.org/10.1007/978-3-030-62547-4

Mathematics Subject Classification ID

Recreational mathematics (00A08) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Games for Your Mind
• Logical labyrinths
• Guide to teaching puzzle-based learning
• scientific article; zbMATH DE number 3893163
• The magic garden of George B and other logic puzzles

Cited in

(2)

• On First-Order Model-Based Reasoning
• Situated Modeling of Epistemic Puzzles

This page was built for publication: Modelling Puzzles in First Order Logic

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