Recherche avancée

Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II [monographie]

Auteur(s):

Richter, Michael M. (1938-....) (Ed.) Börger, Egon (1946-....) (Ed.) Oberschelp, Walter (1933-....) (Ed.) Schinzel, B. (Ed.) Thomas, Wolfgang (1947-....) (Ed.)

Langue:

anglais

Collection:

Lecture notes in mathematics, n° 1104

Editeur, date d'édition:

Springer, 1984

Ville(s) d'édition:

Berlin (DE), Heidelberg (DE), New York (US)

Congrés:

Logic Colloquium (1983) Aix-la-Chapelle (DE)

ISBN:

3-540-13901-X ; 0-387-13901-X

ISSN:

0075-8434

Classification MSC:

03-06 (2000)

Notes:

viii ; notes bibliogr. ; 24 cm (Models and sets, publié en 1984 dans la même coll. (no. 1103) ; 475 p.

Thèmes:

fonctions calculables, theorie de la demonstration, congres, computable functions

Localisation:

https://link.springer.com.sicd.clermont-universite.fr/book/10.1007/BFb0099476

---

     Exemplaire(s)

---

Cote	Retour
05 RIC 84-2	Disponible