¸ Itedevidikenyon2006

(ed.)
Springer Verlag (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Choice Principles in Intuitionistic Set Theory.John L. Bell
Assertion Proof and the Axiom of Choice.David DeVidi

Similar books and articles

Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In ¸ Itedevidikenyon2006. Springer Verlag.
Choice Principles in Intuitionistic Set Theory.John L. Bell - 2006 - In David DeVidi, Graham Solomon & Tim Kenyon (eds.), ¸ Itedevidikenyon2006. Springer Verlag.
.David DeVidi & Herbert Korté - 2014 - De Gruyter.
Naturalizing Natural Deduction.David DeVidi & Herbert Korté - 2014 - In David DeVidi & Herbert Korté (eds.). De Gruyter.
Intuitionistic varepsilon - and τ -calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523--546.
Sur la preuve de consistance de Gauthier et le programme de Frege.David DeVidi - 2004 - Philosophiques 31 (1):215-220.
□ In intuitionistic modal logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201-213.
On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.
□ In intuitionistic modal logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
16. Vagueness and Intuitionistic Logic: On the Wright Track.David Devidi - 2005 - In Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of reason: essays in honour of John Woods. Buffalo: University of Toronto Press. pp. 279-295.
John L. Bell, David DeVidi and Graham Solomon, Logical Options: An Introduction to Classical and Alternative Logics.D. Bonevac - 2002 - Philosophy in Review 22 (6):394-398.
Free logic: Selected essays. [REVIEW]David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
An Introduction to Formal Logic.David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
REVIEWS-Free logic: Selected essays.K. Lambert & David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
Andrew Aberdein and Ian J. Dove, eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN: 978-94-007-6533-7 ; 978-94-007-6534-4 . Pp. x + 393. [REVIEW]David DeVidi - 2015 - Philosophia Mathematica 23 (2):276-280.

Analytics

Added to PP
2015-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

David DeVidi
University of Waterloo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references