• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Paperback

FictionLogic

ISBN10: 1848902662
ISBN13: 9781848902664
Publisher: Kings College Pubn
Published: Feb 1 2018
Pages: 728
Weight: 2.21
Height: 1.45 Width: 6.14 Depth: 9.21
Language: English

This text, volume I of a two-volume work, examines in depth the standard (also called classical) propositional logic.

This is a theoretical work that aims at a philosophically exploratory and technically rigorous presentation. Detailed examples and exercises are used to tease out technical minutiae, solidify understanding, and point to logical-philosophical puzzles and challenges; because of this feature, the text can also be used to study formal logic in a rigorous fashion.

1 different editions

Also available

Also in

Fiction