La logique Des topos

&
Journal of Symbolic Logic 46 (1):6-16 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273251

Links

PhilArchive



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

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

Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Logique Déontique et Logique des Normes.Clayton Peterson - 2010 - Ithaque 6:31-52.
Le réverbération logique. La phénoménologie des «Prolégomènes à la logique pure» de Husserl.Bruce Bégout - 2001 - Revue Philosophique De Louvain 99 (4):564-592.
La logique des effets pervers. Sciences sociales, rhétorique, politique, éthique André Gosselin Collection «Sociologies» Paris, Presses Universitaires de France, 1998, x, 253 p. [REVIEW]Jean Robillard - 2000 - Dialogue 39 (3):640-.
La logique Des classes et la théorie Des ensembles.Henri Dufumier - 1916 - Revue de Métaphysique et de Morale 23 (4):623 - 631.
Une histoire comparée de la philosophie des sciences, vol 2 : L’empirisme logique en débatJean Leroux Québec, Presses de l’Université Laval , 2010, 197 p. [REVIEW]Jean-Claude Simard - 2011 - Dialogue 50 (2):416-420.
Sur une méthode algébrique de vérification Des théorèmes de la logique Des énoncés.A. B. Turowicz - 1960 - Studia Logica 9 (1):27 - 36.
Algebraic Set Theory and the Effective Topos.Claire Kouwenhoven-Gentil & Jaap van Oosten - 2005 - Journal of Symbolic Logic 70 (3):879 - 890.

Analytics

Added to PP
2009-01-28

Downloads
188 (#100,871)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.

View all 23 citations / Add more citations

References found in this work

Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references