Kenneth A. Loparo
Springer Vienna
0e druk, 1996
9783211827963
Collegium Logicum
Specificaties
Paperback, 140 blz.
|
Engels
Springer Vienna |
0e druk, 1996
ISBN13: 9783211827963
Rubricering
Onderdeel van serie
Collegium Logicum
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783211827963
Taal:Engels
Bindwijze:paperback
Aantal pagina's:140
Uitgever:Springer Vienna
Druk:0
Serie:Collegium Logicum
Inhoudsopgave
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.