Collegium Logicum
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Collegium Logicum “
Klappentext zu „Collegium Logicum “
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.
Inhaltsverzeichnis zu „Collegium Logicum “
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.
Bibliographische Angaben
- Autor: Kenneth A. Loparo
- 1996, VII, 140 Seiten, Maße: 24,4 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 321182796X
- ISBN-13: 9783211827963
Sprache:
Englisch
Kommentar zu "Collegium Logicum"
0 Gebrauchte Artikel zu „Collegium Logicum“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Collegium Logicum".
Kommentar verfassen