From Hilbert's program to a logic tool box

DOI10.1007/S10472-009-9115-ZzbMath1167.00011OpenAlexW1963630311MaRDI QIDQ1028646

Johann A. Makowsky

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9115-z

zbMATH Keywords

logic and computer sciencelogic syllabus for computer professionals

Mathematics Subject Classification ID

Logic in computer science (03B70) Methodology of mathematics (00A35) History of computer science (68-03) Future perspectives in mathematics (01A67) General logic (03Bxx) Objectives and goals of mathematics teaching (97D30) Syllabuses, educational standards (97B70)

Related Items (1)

Keeping logic in the trivium of computer science: a teaching perspective

Cites Work

• Algorithmic uses of the Feferman-Vaught theorem
• Finite model theory and its applications.
• Elements of finite model theory.
• Handbook of proof theory
• On full abstraction for PCF: I, II and III
• Locus Solum: From the rules of logic to the logic of rules
• Homomorphism preservation theorems
• Vopěnka's principle and compact logics
• Sequentiality vs. concurrency in games and logic
• On some conjectures connected with complete sentences
• Logical Approaches to Computational Barriers
• Graph-Theoretic Concepts in Computer Science
• What Russell learned from Peano
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From Hilbert's program to a logic tool box