Topos Theory in Montréal in the 1970s: My Personal Involvement

History and Philosophy of Logic 40 (4):389-402 (2019)
  Copy   BIBTEX

Abstract

Volume 40, Issue 4, November 2019, Page 389-402.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,666

External links

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

Through your library

Similar books and articles

Kurt Gödel: Essays for His Centennial.Jan Von Plato - 2011 - History and Philosophy of Logic 32 (4):402 - 404.
Logic: A Very Short Introduction. [REVIEW]Roy Cook - 2019 - History and Philosophy of Logic 40 (2):204-205.
The Evolution of Logic.Michael Scanlan - 2011 - History and Philosophy of Logic 32 (4):405 - 405.
Phenomenology and Mathematics. [REVIEW]Carlo Ierna - 2011 - History and Philosophy of Logic 32 (4):399 - 400.
Measuring utility: from the marginal revolution to behavioral economics.Itzhak Gilboa - 2019 - Journal of Economic Methodology 26 (4):389-392.
Introduction.Ruth Hagengruber & Sarah Hutton - 2019 - British Journal for the History of Philosophy 27 (4):673-683.
Ethical basics for the caring professions.Toni Saad - 2023 - The New Bioethics 29 (4):386-389.

Analytics

Added to PP
2019-02-02

Downloads
46 (#436,279)

6 months
10 (#311,960)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.

View all 11 references / Add more references