Kód: 51561599
This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First, the book now includes a m ... celý popis
Angličtina
79.09 €
Bežne: 90.93 €
Ušetríte 11.83 €
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Nákupom získate 191 bodov
Anotácia knihy
This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First, the book now includes a more thorough exposition of natural deduction, explaining how derivations can be represented as trees of formulas. Second, it provides a detailed explanation of the main proof methods, illustrated with examples. Third, it offers a separate exposition of the logic of identity. Fourth, it presents a fuller treatment of modal logic, including results on consistency, soundness, and completeness. Additional changes include new examples drawn from elementary mathematics, a refined notation, and a more functional subdivision of the material, which simplifies some proofs and enhances clarity and readability. Overall, the text preserves the style of the first edition, aiming to present core ideas clearly, concisely, and with minimal distractions.
Parametre knihy
79.09 €
AngličtinaOsobný odber Bratislava a 12790 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )
Nachádzate sa: