Title: Collegium Logicum Vol. 2
Description: Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
Subjects: Goedel's theorem, Mathematics, Computer science, Computer software, Logic design, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Mathematical and Computational Physics Theoretical, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity