Resolution Games and Non-liftable Resolution Orderings -- A Tableau Calculus for Partial Functions -- MUltlog: an Expert System for Multiple-valued Logics -- A Fundamental Problem of Mathematical Logic -- On the Lengths of Proofs of Consistency -- The Craig Interpolation Theorem for Schematic Systems -- The Role of Monotonicity in Descriptive Complexity Theory -- Numbers Defined by Turing Machines

1. Mathematics
2. Computers
3. Algorithms
4. Computer logic
5. Mathematical logic
6. Physics
7. Mathematics
8. Mathematical Logic and Foundations
9. Theoretical
10. Mathematical and Computational Physics
11. Logics and Meanings of Programs
12. Mathematical Logic and Formal Languages
13. Computation by Abstract Devices
14. Algorithm Analysis and Problem Complexity