{"product_id":"collegium-logicum-9783211827963","title":"Collegium Logicum","description":"\u003cp\u003e • Author(s): Kenneth A. Loparo\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eContents: 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280694403223,"sku":"9783211827963","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783211827963.webp?v=1769297049","url":"https:\/\/atlanticbooks.com\/products\/collegium-logicum-9783211827963","provider":"Atlantic Books","version":"1.0","type":"link"}