Collegium Logicum

Buch | Softcover

VII, 140 Seiten

1996 | 1. Softcover reprint of the original 1st ed. 1996
Springer Wien (Verlag)
978-3-211-82796-3 (ISBN)

Artikel merken

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.

Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.

Erscheint lt. Verlag	30.4.1996
Reihe/Serie	Collegium Logicum
Zusatzinfo	VII, 140 p. 3 illus.
Verlagsort	Vienna
Sprache	englisch
Maße	170 x 244 mm
Gewicht	304 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Naturwissenschaften
Schlagworte	Algorithm analysis and problem complexity • Complexity • Complexity theory • Logic • Logik • Mathematical Logic • Mathematische Logik • Proof • Resolution • Turing Machine
ISBN-10	3-211-82796-X / 321182796X
ISBN-13	978-3-211-82796-3 / 9783211827963
Zustand	Neuware