.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Collegium Logicum
Kurt Godel Gesellschaft
€ 65.94
FREE Delivery in Ireland
Description for Collegium Logicum
Paperback. This volume covers a wide range of mathematical problems, including philosophical logic, logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation. Series: Collegium Logicum. Num Pages: 140 pages, 3 black & white illustrations. BIC Classification: PBCD; PDA; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 8. Weight in Grams: 305.
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. 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.
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. 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.
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer Verlag GmbH Austria
Number of pages
140
Condition
New
Series
Collegium Logicum
Number of Pages
140
Place of Publication
Vienna, Austria
ISBN
9783211827963
SKU
V9783211827963
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Collegium Logicum