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)

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

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

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)

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)

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

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)

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)

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

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

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)

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

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

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)

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

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

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

Introduction to the Psalms
par: Barth, Christoph, 1917-1986.
Publié: (1966)

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

The editor's introduction
par: Backus, Irena.
Publié: (1997)

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

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

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

An Introduction to sociology
par: Browne, Ken, 1951-
Publié: (1998)

Introduction to phonetics
par: Brosnahan, L. F.
Publié: (1976)

Essays with an Introduction
par: Hazlitt, William.

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

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

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