Collegium Logicum

By Kurt-Gödel-Gesellschaft

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.

• Format: Paperback
• Language: English
• ISBN: 321182796X
• ISBN13: 9783211827963
• Release Date: April 1996
• Publisher: Springer
• Length: 140 Pages
• Weight: 0.56 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"