Title: Logic, Rationality, and Interaction
Subjects: Logic design, Computational complexity, Symbolic and mathematical Logic, Computer science, Data processing, Algebra, Information theory, Congresses, Logic, symbolic and mathematical, Logic machines, Theory of Computation, Logics and Meanings of Programs, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages