Foundations of mathematics : :: SCD d'Orléans

Foundations of mathematics : questions of analysis, geometry & algorithmics

Foundations of mathematics : questions of analysis, geometry & algorithmics

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Engeler, Erwin, 1930-
Andere auteurs:	Thomas, Charles Benedict, 1938-2005 (Vertaler)
Formaat:	Livre papier
Taal:	Anglais
Gepubliceerd in:	Berlin ; Heidelberg ; New York ; Paris [etc.] : Springer-Verlag C 1983.
Onderwerpen:	Métamathématique Mathématiques > Philosophie
Autres localisations:	Voir dans le Sudoc

Gelijkaardige items

Sur la nature des mathématiques
door: Bruter, Claude Paul, 1937-...., mathématicien
Gepubliceerd in: (1973)

Foundations of mathematics : questions of analysis, geometry & algorithmics
door: Engeler, Erwin, 1930-

La logique interne
door: Gauthier, Yvon, 1941-
Gepubliceerd in: (1991)

Métamathématique
door: Lorenzen, Paul, 1915-1994
Gepubliceerd in: (1967)

Le théorème de Gödel
door: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Gepubliceerd in: (1997)

Introduction to metamathematics
door: Kleene, Stephen Cole, 1909-1994
Gepubliceerd in: (1952)

Metamathematik
door: Lorenzen, Paul, 1915-1994
Gepubliceerd in: (1962)

Ecrits logiques
door: Herbrand, Jacques, 1908-1931, et al.
Gepubliceerd in: (1968)

Les contre-exemples en mathématiques
door: Hauchecorne, Bertrand, 1950-
Gepubliceerd in: (1988)

Les contre-exemples en mathématiques : 522 contre-exemples
door: Hauchecorne, Bertrand, 1950-
Gepubliceerd in: (2007)

How to read and do proofs : an introduction to mathematical thought processes
door: Solow, Daniel
Gepubliceerd in: (2005)

Les fondements de la géométrie
door: Hilbert, David, 1862-1943
Gepubliceerd in: (1971)

Théorie métamathématique des idéaux
door: Robinson, Abraham, 1918-1974, mathématicien
Gepubliceerd in: (1955)

A relational theory of computing
door: Sanderson, John G.

The metamathematics of algebraic systems : collected papers : 1936-1967
door: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Gepubliceerd in: (1971)

The foundations of mathematics : a study in the philosophy of science
door: Beth, Evert Willem, 1908-1964
Gepubliceerd in: (1965)

The Foundations of mathematics : a study in the philosophy of science
door: Beth, Evert Willem, 1908-1964
Gepubliceerd in: (1959)

Symposium on semantics of algorithmic languages
door: Engeler, Erwin, 1930-

Des lettres et des chiffres : des tests d'intelligence à l'évaluation du "savoir lire", un siècle de polémiques
door: Blum, Alain, 1958-...., démographe, et al.
Gepubliceerd in: (2000)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
door: Bulloff, Jack J., 19..-

Gödel, Escher, Bach : an eternal golden braid
door: Hofstadter, Douglas R., 1945-
Gepubliceerd in: (1979)

Complementarity in mathematics : a first introduction to the foundations of mathematics and its history
door: Kuyk, Willem, 1934-2020

Foundations of computational mathematics.
Gepubliceerd in: (2001)

Symposium on semantics of algorithmic languages
door: Engeler, Erwin, 1930-
Gepubliceerd in: (1971)

Introduction to the foundations of applied mathematics
door: Holmes, Mark H.
Gepubliceerd in: (2009)

Introduction to the foundations of applied mathematics
door: Holmes, Mark H., 1950-

Mathematical logic and the foundations of mathematics : an introductory survey
door: Kneebone, G. T.
Gepubliceerd in: (1963)

Qu’est-ce qu’un théorème (en pratique) ?
door: Lavau, Sylvain
Gepubliceerd in: (2021)

Logic of programs : workshop, ETH Zürich, May-July 1979
door: Engeler, Erwin, 1930-

Mathematics : a concise history and philosophy
door: Anglin, William Sherron Raymond, 1949-
Gepubliceerd in: (1994)

Philosophy of mathematics
door: Linnebo, Øystein, 19..-
Gepubliceerd in: (2017)

Mathematics, science, and epistemology
door: Lakatos, Imre, 1922-1974
Gepubliceerd in: (1980)

Philosophia mathematica.
Gepubliceerd in: (1964)

Loving and hating mathematics : challenging the myths of mathematical life
door: John-Steiner, Vera, 1930-, et al.
Gepubliceerd in: (2011)

Foundations of set theory
door: Fraenkel, Abraham, 1891-1965, mathématicien, et al.
Gepubliceerd in: (1973)

Mathematics, science and epistemology. Philosophical papers
door: Lakatos, Imre, 1922-1974
Gepubliceerd in: (1978)

Synthetic philosophy of contemporary mathematics
door: Zalamea, Fernando, 1959-
Gepubliceerd in: (2019)

Mathematics, education and philosophy : an international perspective
Gepubliceerd in: (1994)

Mathematics in society and history : sociological inquiries
door: Restivo, Sal
Gepubliceerd in: (1992)

New directions in the philosophy of mathematics : an anthology
door: Tymoczko, Thomas
Gepubliceerd in: (1986)

© 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