Principles of intuitionism : :: SCD d'Orléans

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

Guardat en:

Dades bibliogràfiques
Autor principal:	Troelstra, Anne Sjerp
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in mathematics 95
Matèries:	Mathématiques intuitionnistes Mathématiques
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Principles of Intuitionism, Texte imprimé, 9783540046141 • Principles of Intuitionism, Texte imprimé, 9783662187692

Ítems similars

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
per: Troelstra, Anne Sjerp
Publicat: (1969)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
per: Kino, Akiko
Publicat: (1970)

Intuitionism : an introduction
per: Heyting, Arend, 1898-1980
Publicat: (1971)

Metamathematical investigation of intuitionistic arithmetic and analysis
per: Troelstra, Anne Sjerp
Publicat: (1973)

Metamathematical investigation of intuitionistic arithmetic and analysis
per: Troelstra, Anne Sjerp

Proof Theory and Intuitionistic Systems
per: Scarpellini, Bruno, 19..-

Extensional Gödel functional interpretation : a consistency proof of classical analysis
per: Luckhardt, Horst

Extensional Gödel functional interpretation : a consistency proof of classical analysis
per: Luckhardt, Horst
Publicat: (1973)

The Selected correspondence of L.E.J. Brouwer
per: von Dalen, Dirk

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
per: Bucur, Ion, 1930-1976, et al.
Publicat: (1972)

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
per: Richman, Fred, 1938-

Intuitionistic logic model theory and forcing
per: Fitting, Melvin Chris, 1942-
Publicat: (1969)

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
per: Bucur, Ion, 1930-1976, et al.

Philosophie de la logique
per: Dummett, Michael Anthony Eardley, 1925-2011
Publicat: (1991)

Logicism, intuitionism, and formalism : what has become of them?
per: Lindström, Sten

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Publicat: (1980)

Le pays des possibles : Wittgenstein, les mathématiques et le monde réel
per: Bouveresse, Jacques, 1940-
Publicat: (1988)

Poincaré and Intuitionism
per: Heinzmann, Gerhard
Publicat: (2025)

Poincaré and Intuitionism
per: Heinzmann, Gerhard
Publicat: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
per: David, René, 1948-...., mathématicien, et al.
Publicat: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
per: David, René, 1948-2022, mathématicien, et al.
Publicat: (2004)

Intuitions and principles in moral argumentation
per: Reichlin, Massimo
Publicat: (2023)

Intuitionisme et théorie de la démonstration
per: Largeault, Jean, 1930-1995
Publicat: (1992)

La critique de la théorie des ensembles dans la dissertation de Brouwer (1907)
per: Bourdeau, Michel
Publicat: (2006)

L'héritage de Kolmogorov en mathématiques
per: Charpentier, Éric, 1963-...., mathématicien, et al.
Publicat: (2004)

At the Heart of Analysis: Intuitionism and Philosophy
per: McCarty, Charles
Publicat: (2011)

Brouwerian Intuitionism and Husserlian Phenomenology
per: Pradelle, Dominique
Publicat: (2025)

Brouwerian Intuitionism and Husserlian Phenomenology
per: Pradelle, Dominique
Publicat: (2025)

Qu'est-ce qu'un système philosophique ?
per: Jacques Bouveresse
Publicat: (2021)

Samuel Ramos and Bergson. Philosophy of Intuition and the Project of a New Humanism
per: Ferrer, Guillermo
Publicat: (2024)

Putnam-Dummett. Quelle logique pour quel réalisme ?
per: Naibo, Alberto
Publicat: (2016)

Kolmogorov s Heritage in Mathematics
per: Charpentier, Éric, 1963-...., mathématicien

Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
per: Sieroka, Norman
Publicat: (2011)

Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
per: Sieroka, Norman
Publicat: (2009)

The robust maximum principle : theory and applications
per: Boltyanski, Vladimir Grigorevich, 1925-2019, et al.
Publicat: (2012)

Minimum principle and maximality : Lectures, spring 1971
per: Bauer, Heinz, 1928-2002
Publicat: (1973)

Weakly compact sets : lectures held at S.U.N.Y., Buffalo, in Spring 1978
per: Floret, Klaus, 1941-

On A.A. Markov’s Attitude towards Brouwer’s Intuitionism
per: Vandoulakis, Ioannis M.
Publicat: (2015)

Metaphysics, Epistemology, Utilitarianism, Intuitionism, and Egoism: A Response to Phillips on Sidgwick
per: Crisp, Roger
Publicat: (2013)

‪On A.A. Markov’s Attitude towards Brouwer’s Intuitionism‪
per: Vandoulakis, Ioannis M.
Publicat: (2015)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales