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.
Genres
- 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
people already read
people are currently reading
people want to read
About the author
Editions
