Philosophie de la logique :: SCD d'Orléans

Philosophie de la logique

Philosophie de la logique

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Dummett, Michael Anthony Eardley, 1925-2011
Další autoři:	Pataut, Fabrice, 1957- (Překladatel)
Médium:	Livre papier
Jazyk:	Français
Vydáno:	Paris : les Éditions de Minuit C 1991.
Edice:	Propositions
Témata:	Logique intuitionniste Vérité Mathématiques > Philosophie Philosophie analytique
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Écrits logiques et philosophiques
Autor: Frege, Gottlob, 1848-1925
Vydáno: (1971)

Penser la logique : une introduction technique et théorique à la philosophie de la logique et du langage
Autor: Hottois, Gilbert, 1946-2019
Vydáno: (2002)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
Autor: David, René, 1948-...., mathématicien, a další
Vydáno: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
Autor: David, René, 1948-2022, mathématicien, a další
Vydáno: (2004)

Introduction à la philosophie analytique : la logique comme méthode
Autor: Leclercq, Bruno, 19..-...., professeur de philosophie
Vydáno: (2018)

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

Ecrits philosophiques
Autor: Austin, John Langshaw, 1911-1960
Vydáno: (1994)

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Autor: Bucur, Ion, 1930-1976, a další

Putnam-Dummett. Quelle logique pour quel réalisme ?
Autor: Naibo, Alberto
Vydáno: (2016)

Écrits de logique philosophique
Autor: Russell, Bertrand, 1872-1970, philosophe
Vydáno: (1989)

Qu'est-ce qu'un système philosophique ?
Autor: Jacques Bouveresse
Vydáno: (2021)

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

Intuitionism : an introduction
Autor: Heyting, Arend, 1898-1980
Vydáno: (1971)

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

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

Le pays des possibles : Wittgenstein, les mathématiques et le monde réel
Autor: Bouveresse, Jacques, 1940-
Vydáno: (1988)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
Autor: Luckhardt, Horst
Vydáno: (1973)

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

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Autor: Bucur, Ion, 1930-1976, a další
Vydáno: (1972)

Infini, logique, géométrie
Autor: Mancosu, Paolo, 1960-
Vydáno: (2015)

Logique à trois valeurs, logique à seuil
Autor: Carvallo, Michel
Vydáno: (1968)

Logique mathématique
Autor: Kleene, Stephen Cole, 1909-1994
Vydáno: (1971)

Metamathematical investigation of intuitionistic arithmetic and analysis
Autor: Troelstra, Anne Sjerp
Vydáno: (1973)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
Autor: Kino, Akiko
Vydáno: (1970)

Logique interne : [modèles et applications]
Autor: Gauthier, Yvon, 1941-
Vydáno: (1997)

Faits, fictions et prédictions
Autor: Goodman, Nelson, 1906-1998
Vydáno: (1984)

Rationalité en philosophie des sciences : une démarche zététique en épistémologie, logique et mathématiques
Autor: Volf, Élie, 1938-, a další
Vydáno: (2018)

La logique interne
Autor: Gauthier, Yvon, 1941-
Vydáno: (1991)

La logique, un aiguillon pour la pensée
Autor: Delahaye, Jean-Paul, 1952-
Vydáno: (2012)

Intuitionistic logic model theory and forcing
Autor: Fitting, Melvin Chris, 1942-
Vydáno: (1969)

Logique mathématique
Autor: Kleene, Stephen Cole, 1909-1994
Vydáno: (1987)

La logique interne des théories physiques
Autor: Gauthier, Yvon, 1941-
Vydáno: (1992)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
Autor: Vernant, Denis, 1948-
Vydáno: (2001)

Intuitionisme et théorie de la démonstration
Autor: Largeault, Jean, 1930-1995
Vydáno: (1992)

Logique, mathématiques, langue universelle : Anthologie 1893-1917 = = Logic, mathematics and universal language : anthology, 1893-1917
Autor: Couturat, Louis, 1868-1914
Vydáno: (2018)

Remarques philosophiques
Autor: Wittgenstein, Ludwig, 1889-1951
Vydáno: (1984)

L'héritage de Kolmogorov en mathématiques
Autor: Charpentier, Éric, 1963-...., mathématicien, a další
Vydáno: (2004)

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

© 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