Forall x: An Introduction to Formal Logic, Version 1.11

Teaching Philosophy 4 (4):387-390 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.5840/teachphil200629449

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

forall x: An introduction to formal logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.
Conservative fragments of $${{S}^{1}{2}}$$ and $${{R}^{1}{2}}$$. [REVIEW]Chris Pollett - 2011 - Archive for Mathematical Logic 50 (3):367-393.
Lifting independence results in bounded arithmetic.Mario Chiari & Jan Krajíček - 1999 - Archive for Mathematical Logic 38 (2):123-138.
Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Dynamic Modalities.Dimiter Vakarelov - 2012 - Studia Logica 100 (1-2):385-397.
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.Jaap van Oosten - 1991 - Journal of Symbolic Logic 56 (3):964 - 973.
Note on extensions of Heyting's arithmetic by adding the “creative subject”.Victor N. Krivtsov - 1999 - Archive for Mathematical Logic 38 (3):145-152.
A duality theorem.Kh M. Rukhaia - 1978 - Studia Logica 37 (2):157 - 159.
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman.Jaap van Oosten - 1991 - Journal of Symbolic Logic 56 (3):964-973.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Provability in predicate product logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.

Analytics

Added to PP
2014-03-19

Downloads
21 (#733,267)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matthew W. McKeon
Michigan State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references