Main content

forall x an introduction to formal logic

Détails:

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

    "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.

    Sujet(s): Logic | Textbooks
    Éditeur original: [New York?], P.D. Magnus
    Langue(s): English
    Collection(s)/Series: BC Open Textbooks