{"product_id":"logic-andrea-iacona-ebook","title":"LOGIC","description":"\u003cp\u003ePreface.- Chapter 1. Elementary set-theoretical notions.- Chapter 2. What logic is about.- Chapter 3. Validity.- Chapter 4. Formality.- Chapter 5. The symbols of propositional logic.- Chapter 6. The language L: syntax.- Chapter 7. The language L: semantics.- Chapter 8. The system G.- Chapter 9. Derivability in G.- Chapter 10. The system S.- Chapter 11. Consistency, soundness, completeness.- Chapter 12. Computability.- Chapter 13. The symbols of predicate logic.- Chapter 14. The language Lq: syntax.- Chapter 15. The language Lq: semantics.- Chapter 16. The system Sq.- Chapter 17. Consistency, soundness, completeness.- Chapter 18. Identity.- Chapter 19. First-order theories.- Chapter 20. Theories and models.- Chapter 21. Gödel’s incompleteness theorems.- Chapter 22. Undecidability and related results.- Chapter 23. Modal propositional logic.- Chapter 24. Quantified modal logic.- Index.\u003c\/p\u003e","brand":"Andrea Iacona","offers":[{"title":"Default Title","offer_id":55602651529543,"sku":"9783032256706","price":80.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/logic-ebook-cover.webp?v=1793162953","url":"https:\/\/www.cinebuch.de\/products\/logic-andrea-iacona-ebook","provider":"CineBuch","version":"1.0","type":"link"}