Principia Logic Book
A formal-logic book starter demonstrating Peanese connectives, scope dots, definitions, and substitutions.
- Files
- LICENSE-LPPL-1.3c.txt, README.md, main.tex, principia.sty
- Licence
- LPPL-1.3c, © Landon D. C. Elkind
- Class
- Not bundled — ships with your TeX distribution
- Engine
pdflatex
Early access
Volt
A next-generation LaTeX editor. Compiles in milliseconds, understands your bibliography, and keeps the manuscript, the data and the code in one place.
Register for early access — no spam, one click to unsubscribe.