| Document Type
|
:
|
BL
|
| Record Number
|
:
|
767827
|
| Doc. No
|
:
|
b587812
|
| Main Entry
|
:
|
Kurt-Gödel-Gesellschaft
|
| Title & Author
|
:
|
Collegium Logicum.\ Kurt-Gödel-Gesellschaft
|
| Publication Statement
|
:
|
Vienna : Springer Vienna, 1996
|
| Series Statement
|
:
|
Collegium Logicum, Annals of the Kurt-Gödel-Society, 2
|
| Page. NO
|
:
|
(VII, 140 Seiten 3 Illustrationen)
|
| ISBN
|
:
|
321182796X
|
|
|
:
|
: 370919461X
|
|
|
:
|
: 9783211827963
|
|
|
:
|
: 9783709194614
|
| Notes
|
:
|
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.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computer software.
|
| Subject
|
:
|
Logic design.
|
| Added Entry
|
:
|
Kurt-Gödel-Gesellschaft
|