Elements of Deductive Logic, an open-source intermediate logic textbook
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README.md
by-sa.png
edl-cond.tex
edl-edr.tex
edl-ex.tex
edl-induct.tex
edl-l1meta.tex
edl-l1nd.tex
edl-l1semantics.tex
edl-l1syntax.tex
edl-l1tabl.tex
edl-l2.tex
edl-l2nd.tex
edl-lequals.tex
edl-modal.tex
edl-ndmeta.tex
edl-sets.tex
edl-tablmeta.tex
edl-to-do.md
edl.pdf
edl.tex

README.md

edl

Elements of Deductive Logic, an open-source intermediate logic textbook. The book covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written to accompany lectures in the introductory-intermediate logic course at the University of Oxford of the same name.

Elements of Deductive Logic is a free, open source text, licensed under CC BY-SA 4.0.

Source files are in XeLaTeX. Build by:

xelatex edl.tex

The project uses standard packages but won't compile without modification unless you have these fonts installed:

I get no errors, but some font warnings, using TeXLive 2015.


This version is in progress. Chapters 1–7 (with the exception of §7.7), and §15.1, have been fully revised as of May 2017. Other chapters are scheduled for creation or substantial revision during the first half of 2017, though some of the material on modal logic and many-valued logic, newly introduced, will likely not be finalised for some time.