|
|
|||
|
||||
OverviewContents: 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. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: 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. Full Product DetailsAuthor: Kurt Godel GesellschaftPublisher: Springer Verlag GmbH Imprint: Springer Verlag GmbH Edition: Softcover reprint of the original 1st ed. 1996 Volume: 2 Dimensions: Width: 17.00cm , Height: 0.80cm , Length: 24.40cm Weight: 0.305kg ISBN: 9783211827963ISBN 10: 321182796 Pages: 140 Publication Date: 30 April 1996 Audience: Professional and scholarly , Professional and scholarly , Professional & Vocational , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsResolution 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |