From Hilbert's program to a logic tool box
From MaRDI portal
Publication:1028646
DOI10.1007/S10472-009-9115-ZzbMath1167.00011OpenAlexW1963630311MaRDI QIDQ1028646
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
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)
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