Logic, Rationality, and Interaction
- Springer 2013
- Lecture Notes in Computer Science .
9783642409486
Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Theory of Computation