Collegium Logicum
Hans de Nivelle (auth.)
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.
Kategorie:
Rok:
1996
Wydanie:
1
Wydawnictwo:
Springer-Verlag Wien
Język:
english
Strony:
140
ISBN 10:
370919461X
ISBN 13:
9783709194614
Serie:
Collegium Logicum 2
Plik:
PDF, 2.76 MB
IPFS:
,
english, 1996