Collegium Logicum, Annals of the Kurt-Gödel-Society : 2
1996
Details
- Autor(en) / Beteiligte
- Titel
- Collegium Logicum [Elektronische Ressource]
- Ist Teil von
- Collegium Logicum, Annals of the Kurt-Gödel-Society : 2
- Ort / Verlag
- Vienna : Springer Vienna
- Erscheinungsjahr
- 1996
- Link zum Volltext
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- 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
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783709194614, 9783211827963DOI: 10.1007/978-3-7091-9461-4OCLC-Nummer: 905455249, 905455249Titel-ID: 990018273080106463
- Format
- VII, 140p. 3 illus
- Schlagworte
- Mathematics, Computer science, Computer software, Logic design, Logic, Symbolic and mathematical, Mathematical Logic and Foundations, Theoretical, Mathematical and Computational Physics, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity