The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Barwise, Jon (Ed.) ; Keisler, H. Jerome (Ed.) ; Kunen, Kenneth (Ed.)
1980
xx, 425 p.
0-444-85345-6
BARWISE k
analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-06
Pays d'édition : Pays-Bas
Ville d'édition : Amsterdam/New York/Oxford
Langue : anglais
Format : 23 cm
Collection : Studies in logic and the foundations of mathematics
N° de collection : 101
Bibliographie : Notes bibliographiques
Nom du congrès : Kleene Symposium
Lieu du congrès : Madison, Wisconsin
Pays du congrès : Etats-Unis
Date du congrès : June 18-24, 1978
N° | Cote / Code barre | Localisation | Commentaire | |
---|---|---|---|---|
1 | BARWISE k MAT000858 |
F 655.50 - OFFILIB [disponible] |
YRéserver |