Introduction to metamathematics

Introduction to metamathematics

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kleene, Stephen Cole.
Support:	Livre
Publié:	Amsterdam ; London : Groningen : North-Holland ; Wolters-noordhoff, 1971.
Édition:	7e éd.
Collection:	Bibliotheca Mathematica I
Sujets:	Métamathématique.

Documents similaires

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1972)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1974)

Prise en compte du méta en didactique des mathématiques
par: Robert, Aline.
Publié: (1993)

Les contre-exemples en mathématiques
par: Hauchecorne, Bertrand, 1950-...., professeur en mathématiques.
Publié: (1988)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1997)

Logic, semantics, metamathematics : papers from 1923 to 1938
par: Tarski, Alfred, 1901-1983.
Publié: (1969)

Gödel, Escher, Bach : les brins d'une guirlande éternelle
par: Hofstadter, Douglas.
Publié: (1985)

Introduction to differential equations : with dynamical systems
par: Campbell, Stephen L. (1945-....).
Publié: (2013)

A classical introduction to Galois theory
par: Newman, Stephen C..
Publié: (2012)

La Renaissance dans les cours italiennes
par: Cole, Alison.
Publié: (2008)

Antisémitisme et situation coloniale pendant l'entre-deux-guerres en Algérie : Les émeutes antijuives de Constantine (août 1934)
par: Cole, Joshua.
Publié: (2010)

La Renaissance dans les cours italiennes
par: Cole, Alison.
Publié: (1995)

Semantics : an introduction to the science of meaning
par: Ullmann, Stephen.
Publié: (1970)

The British Party System : An introduction
par: Ingle, Stephen.

Introduction
par: Redondo, Augustin.

Introduction
par: Rousselle, Aline.
Publié: (1999)

Etude comparée de deux techniques de soutien en lecture en classe de sixième : une expérience préliminaire
par: Colé, Pascale, 1960-
Publié: (1992)

Quels apports de la recherche au diagnostic de la dyslexie ?
par: Colé, Pascale, 1960-
Publié: (2021)

Deep Learning with C#, .Net and Kelp.Net : The Ultimate Kelp.Net Deep Learning Guide
par: Cole, Matt R..

Traitements morphologiques lors de la reconnaissance des mots écrits chez des apprentis lecteurs
par: Colé, Pascale, 1960-
Publié: (2005)

La dyslexie : de l'enfant à l'adulte
par: Colé, Pascale, 1960-
Publié: (2021)

The Spiritual maternity of Mary according to the writings of Father Williams Joseph Chaminade : A Study of his Spiritual Doctrine
par: Cole, William J.
Publié: (1958)

Le traitement des mots dérivés : une analyse morphologique sélective
par: Colé, Pascale, 1960-
Publié: (1988)

Hands-on neural network programming with C# : add powerful neural network capabilities to your C# enterprise applications
par: Cole, Matt R..
Publié: (2018)

Hands-on microservices with C# : designing a real-world, enterprise-grade microservice ecosystem with the efficiency of C# 7
par: Cole, Matt R..
Publié: (2018)

Moodle 2.0 for business : beginner's guide
par: Cole, Jason R..
Publié: (2011)

An introduction to psychopharcology
par: Rech, Richard-H.
Publié: (1971)

Introduction to topology
par: Lefschetz, Solomon, 1884-1972.
Publié: (1949)

Introduction to keats
par: Walsh, William, 1916-
Publié: (1981)

An introduction to sociolinguistics
par: Wardhaugh, Ronald.
Publié: (1986)

Introduction générale.
par: Ghestin, Jacques, 1931-2024.
Publié: (2018)

An introduction to copulas
par: Nelsen, Roger B.
Publié: (1999)

Introduction générale.
par: Ghestin, Jacques, 1931-2024.
Publié: (2020)

An introduction to Hegel
par: Mure, Geoffrey Reginald Gilchrist, 1893-1979.
Publié: (1940)

An introduction to anthropology
par: Beals, Ralph Leon, 1901-
Publié: (1953)

Introduction to algorithms
par: Cormen, Thomas H.
Publié: (2009)

An Introduction to the Bible
par: Cook, Stanley Arthur, 1873-1949.
Publié: (1945)

Essays with an Introduction
par: Hazlitt, William.

Introduction to typography
par: Simon, Oliver, 1895-
Publié: (1954)

An introduction to the Psalms
par: Hunter, Alastair G.
Publié: (2008)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1