{"product_id":"9780691029061","title":"Introduction to Mathematical Logic (Princeton Landmarks in Mathematics and Physics)","description":"\u003cp\u003eLogic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.\u003c\/p\u003e","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":45383874805839,"sku":"00000_00000_00000_00000","price":3850.0,"currency_code":"TWD","in_stock":true}],"url":"https:\/\/kinokuniya.com.tw\/en\/products\/9780691029061","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}