Collegium Logicum
Series: Collegium Logicum, Annals of the Kurt-Gödel-Society, 0947-577X -- 2; Collegium Logicum, Annals of the Kurt-Gödel-Society -- 2.
Publisher: Springer Vienna
Published: 1996
Place of publication: Vienna
Language: eng
Format: [electronic resource]
Number of pages: 140
ISBN-13: 9783709194614
Table of contents: title: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings.; title: M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions.; title: G. Salzer: MUltlog: an Expert System for Multiple-valued Logics.; title: J. Krajícþek: A Fundamental Problem of Mathematical Logic.; title: P. Pudlák: On the Lengths of Proofs of Consistency.; title: A. Carbone: The Craig Interpolation Theorem for Schematic Systems.; title: I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory.; title: R. Freund, L. Staiger: Numbers Defined by Turing Machines.