Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(1429)
ISBN/ISSN : 3-540-52734-6

logique ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(1388)
ISBN/ISSN : 3-540-51527-5

logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(450)
ISBN/ISSN : 3-540-07152-0

anneau commutatif ; groupe ; logique ; logique symbolique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Graduate texts in mathematics

Cote : MANIN c
ISBN/ISSN : 978-1-4419-0614-4

logique ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

The university series in higher mathematics

Cote : KLEENE i

logique ; mathématique (sujets divers) ; métamathématique ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : GRATTAN-GUINNESS s
ISBN/ISSN : 0-691-05857-1

ensemble ; Gödel (Kurt) ; histoire des mathématiques ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cambridge studies in probability, induction, and decision theory

Cote : VON PLATO c
ISBN/ISSN : 0-521-44403-9

bibliographie ; histoire des mathématiques ; histoire des probabilités ; philosophie des mathématiques ; probabilité ; théorie quantique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Graduate texts in mathematics

Cote : MANIN c
ISBN/ISSN : 3-540-90243-0

logique ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : RICHARDSON f

ensemble ; logique ; probabilité ; problème combinatoire

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Ergebnisse der Mathematik und ihrer Grenzgebiete

Cote : SMULLYAN f

logique

... Lire [+]

Sélection

Documents 03Bxx 12 résultats

Logic and computer science Odifreddi, P. | Springer 1989 Nouveau

Mathematical logic and applications : proceedings, Kyoto 1987 Shinoda, Juichi ; Slaman, Theodore A. ; Tugué, Tosiyuki | Springer 1989 Nouveau

Algebra and logic Crossley, J. N. | Springer 1975 Nouveau

A course in mathematical logic for mathematicians Manin, Yuri I. ; Koblitz, Neal ; Zilber, Boris | Springer 2010 Nouveau

Introduction to metamathematics Kleene, Stephen Cole ; Beeson, Michael | Ishi Press International 2009 Nouveau

The search for mathematical roots, 1870-1940 : logics, set theories and foundations of mathematics from Cantor through Russell to Gödel Grattan-Guinness, Ivor | Princeton university press 2000 Nouveau

Creating modern probability : Its mathematics, physics and philosophy in historical perspective Von Plato, Jan | The University Press 1994 Nouveau

A course in mathematical logic Manin, Yuri I. ; Koblitz, Neal | Springer 1977 Nouveau

Finite mathematics Richardson, William H. | Harper & Row 1968 Nouveau

First-order logic Smullyan, Raymond M. | Springer 1968 Nouveau