forall x (UBC Edition)

Creative Commons: Attribution-ShareAlike 3.0 (2019)

Jonathan Ichikawa
University of British Columbia
P. D. Magnus
State University of New York, Albany
This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This (v1.1, February 2019) is intended as a stable, ready-for-teaching edition.
Keywords logic  formal logic  symbolic logic
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic.Robert Baum - 1975 - Holt, Rinehart and Winston.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Conservative Fragments of {{S}^{1} {2}} and {{R}^{1} {2}}.Chris Pollett - 2011 - Archive for Mathematical Logic 50 (3-4):367-393.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.


Added to PP index

Total views
7,385 ( #145 of 2,311,315 )

Recent downloads (6 months)
853 ( #234 of 2,311,315 )

How can I increase my downloads?


My notes

Sign in to use this feature