forall x (UBC Edition)

Creative Commons: Attribution-ShareAlike 3.0 (2017)
Authors
Jonathan Ichikawa
University of British Columbia
P. D. Magnus
State University of New York, Albany
Abstract
This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This is a ready-for-use 'beta' edition, with additional revisions and edits planned within the next 12 months.
Keywords logic  formal logic  symbolic logic
Categories (categorize this paper)
Options
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 Beziau - 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.

Analytics

Added to PP index
2017-11-27

Total downloads
528 ( #4,443 of 2,242,830 )

Recent downloads (6 months)
196 ( #1,189 of 2,242,830 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature