Collegium Logicum
Subtitle: Annals of the Kurt-Godel Society (Collegium Logicum)
Publisher: Springer
Published: April 30, 1996
Language: eng
Format: Paperback
Number of pages: 137
ISBN-13: 9783211827963
Subjects: Mathematical logic; Mathematical theory of computation; Philosophy of science; Computer Logic; Philosophy Of Mathematics; Mathematics; Science/Mathematics; Logic
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.