Documents

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

Lecture notes in mathematics

Cote : M/A1(1432)
ISBN/ISSN : 3-540-52772-9

ensemble ; 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(1141)
ISBN/ISSN : 3-540-15673-9

ensemble ; récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1103)
ISBN/ISSN : 3-540-13900-1

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(891)
ISBN/ISSN : 3-540-11161-1

ensemble ; logique ; mathématique constructive ; modèle ; modèle non standard ; récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(669)
ISBN/ISSN : 3-540-08926-8

ensemble ; récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(499)
ISBN/ISSN : 3-540-07534-8

ensemble ; logique ; logique symbolique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(500)
ISBN/ISSN : 3-540-07533-X

démonstration ; mathématique constructive ; récurrence

... Lire [+]

Sélection

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

V

Lecture notes in mathematics

Cote : M/A1(120)

arithmétique ; logique

... Lire [+]

Sélection

Documents Müller, Gert Heinz 8 résultats

Recursion theory week Ambos-Spies, K. ; Müller, Gert Heinz ; Sacks, Gerald E. | Springer 1990 Nouveau

Recursion theory week Ebbinghaus, Heinz-Dieter ; Müller, Gert Heinz ; Sacks, Gerald E. | Springer 1985 Nouveau

Models and sets : Vol. 1 Müller, Gert Heinz ; Richter, Michael M. | Springer 1984 Nouveau

Logic symposia Hakone 1979, 1980 Müller, Gert Heinz ; Takeuti, Gaisi ; Tugué, Tosiyuki | Springer 1981 Nouveau

Higher set theory Müller, Gert Heinz ; Scott, Dana S. | Springer 1978 Nouveau

Logic conference Müller, Gert Heinz ; Oberschelp, A. ; Potthoff, K. | Springer 1975 Nouveau

Proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday Diller, J. ; Müller, Gert Heinz ; Schütte, Kurt | Springer 1975 Nouveau

Büchi's monadic second order successor arithmetic Siefkes, Dirk ; Müller, Gert Heinz | Springer 1970 Nouveau