{"product_id":"a-natural-deduction-system-for-modal-logic-dissertation-submitted-to-the-graduate-school-of-the-university-of-notre-dame-in-partial-fulfillment-of-the-requirements-for-the-degree-of-master-of-arts","title":"A Natural Deduction System for Modal Logic -- Dissertation, Submitted to the Graduate School of the University of Notre Dame in Partial Fulfillment of the Requirements for the Degree of Master of Arts","description":"xiv, 41 pp. From the preface: The paper that follows discusses the equivalence of two formal systems. Preliminary to that discussion a brief explanation of some terminology is in order--particularly of such terms as inferential equivalence and formal systems.","brand":"Department of Philosophy","offers":[{"title":"Default Title","offer_id":40141400932422,"sku":"2326330","price":50.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1232\/9510\/products\/2326330.jpg?v=1655839080","url":"https:\/\/ym-demo.myshopify.com\/products\/a-natural-deduction-system-for-modal-logic-dissertation-submitted-to-the-graduate-school-of-the-university-of-notre-dame-in-partial-fulfillment-of-the-requirements-for-the-degree-of-master-of-arts","provider":"Yesterday's Muse","version":"1.0","type":"link"}