Main content

forall x an introduction to formal logic

Details:

  • Author: Magnus, P.D.
    Contributor: BC Open Textbook Project; BCcampus
    Date:
    Created
    2012
    Summary:

    "forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.

    Subject(s): Logic | Textbooks
    Original Publisher: [New York?], P.D. Magnus
    Language(s): English
    Collection(s)/Series: BC Open Textbooks