Computations in higher types / Johan MOLDESTAD (1977)

Public ISBD Titre : Computations in higher types Type de document : monographie Auteurs : Johan MOLDESTAD, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 574 ISBN/ISSN/EAN : 978-3-540-08132-6 Note générale : Index Langues : Anglais Catégories : 02F27 02F29 Mots-clés : logique  récursivité  calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Berlin : Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) . ISBN : 978-3-540-08132-6 Index Langues : Anglais Catégories : 02F27 02F29 Mots-clés : logique  récursivité  calculabilité

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5229	LN 574	Livre	Recherche	Salle	Disponible

Conference in mathematical logic / Wilfrid HODGES (1972)

Public ISBD Titre : Conference in mathematical logic Type de document : collection Auteurs : Wilfrid HODGES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1972 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 255 ISBN/ISSN/EAN : 978-3-540-05744-4 Langues : Anglais Catégories : 0 2G0 02A05 02B25 02C10 02F27 02F30 02G20 02Hxx 02Kxx 06A40 Mots-clés : logique mathématique Conference in mathematical logic [collection] / Wilfrid HODGES, Auteur . - Berlin : Springer-Verlag, 1972. - (Lecture Note in Mathematics, ISSN 0075-8434; 255) . ISBN : 978-3-540-05744-4 Langues : Anglais Catégories : 0 2G0 02A05 02B25 02C10 02F27 02F30 02G20 02Hxx 02Kxx 06A40 Mots-clés : logique mathématique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3839	LN 255	Livre	Recherche	Salle	Disponible

Higher set theory / G. H. MÜLLER (1978)

Public ISBD Titre : Higher set theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 Type de document : texte imprimé Auteurs : G. H. MÜLLER, Editeur scientifique ; Dana S. SCOTT, Editeur scientifique Editeur : Berlin : Springer-Verlag Année de publication : 1978 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 669 Importance : XII-476 p. ISBN/ISSN/EAN : 978-3-540-08926-1 Langues : Anglais Catégories : 02F27 02K05 02K15 02K30 02K35 Mots-clés : théorie des ensembles Note de contenu : références Higher set theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 [texte imprimé] / G. H. MÜLLER, Editeur scientifique ; Dana S. SCOTT, Editeur scientifique . - Berlin : Springer-Verlag, 1978 . - XII-476 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 669) . ISBN : 978-3-540-08926-1 Langues : Anglais Catégories : 02F27 02K05 02K15 02K30 02K35 Mots-clés : théorie des ensembles Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14182	LN 669	Livre	Recherche	Salle	Disponible

Logic colloquium / R. ed. PARIKH (1975)

Public ISBD Titre : Logic colloquium : Symposium on logic held at Boston, 1972-73 Type de document : monographie Auteurs : R. ed. PARIKH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 453 ISBN/ISSN/EAN : 978-3-540-07155-6 Langues : Anglais Catégories : 02B99 02C10 02C99 02D99 02F27 02G05 Mots-clés : logique symbolique  logique mathématique Logic colloquium : Symposium on logic held at Boston, 1972-73 [monographie] / R. ed. PARIKH, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 453) . ISBN : 978-3-540-07155-6 Langues : Anglais Catégories : 02B99 02C10 02C99 02D99 02F27 02G05 Mots-clés : logique symbolique  logique mathématique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3036	LN 453	Livre	Recherche	Salle	Disponible

Set Theory and Hierarchy Theory. A memorial Tribute to Andrzej Mostowski / W. MAREK (1976)

Public ISBD Titre : Set Theory and Hierarchy Theory. A memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 Type de document : collection Auteurs : W. MAREK, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1976 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 537 ISBN/ISSN/EAN : 978-3-540-07856-2 Langues : Anglais Catégories : 02F27 02F29 02F35 02H05 02H13 02H15 02K05 02K10 02K30 Mots-clés : X Set Theory and Hierarchy Theory. A memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 [collection] / W. MAREK, Auteur . - Berlin : Springer-Verlag, 1976. - (Lecture Note in Mathematics, ISSN 0075-8434; 537) . ISBN : 978-3-540-07856-2 Langues : Anglais Catégories : 02F27 02F29 02F35 02H05 02H13 02H15 02K05 02K10 02K30 Mots-clés : X

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5218	LN 537	Livre	Recherche	Salle	Disponible

---

page 1/1