Keeping logic in the trivium of computer science: a teaching perspective
From MaRDI portal
Publication:1696593
DOI10.1007/s10703-017-0301-zzbMath1380.97006OpenAlexW2765991329MaRDI QIDQ1696593
Anna Zamansky, Johann A. Makowsky
Publication date: 14 February 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-017-0301-z
Uses Software
Cites Work
- Elements of finite model theory.
- From Hilbert's program to a logic tool box
- Handbook of proof theory
- Turing Computability
- Mathematical Logic for Computer Science
- The ACL2 Sedan Theorem Proving System
- Lindstrom theorems for fragments of first-order logic
- Set Theory
- Logic in Computer Science
- Computational Complexity
- Computational Complexity
- 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: Keeping logic in the trivium of computer science: a teaching perspective