A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02F29
Affiner la recherche Interroger des sources externes
Computations in higher types (1977) / Johan MOLDESTAD
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 (eng) Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) .
ISBN : 978-3-540-08132-6
Index
Langues : Anglais (eng)
Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5229 LN 574 Livre Recherche Salle Disponible Proof theory symposion (1975) / J. DILLER
Titre : Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 Type de document : monographie Auteurs : J. DILLER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 500 ISBN/ISSN/EAN : 978-3-540-07533-2 Langues : Allemand (ger) Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 [monographie] / J. DILLER, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 500) .
ISBN : 978-3-540-07533-2
Langues : Allemand (ger)
Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5200 LN 500 Livre Recherche Salle Disponible Set Theory and Hierarchy Theory. A memorial Tribute to Andrzej Mostowski (1976) / W. MAREK
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 (eng) Catégories : 02F27
02F29
02F35
02H05
02H13
02H15
02K05
02K10
02K30Mots-clés : X Set Theory and Hierarchy Theory. A memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 [collection] / W. MAREK, Auteur . - Springer-Verlag, 1976. - (Lecture Note in Mathematics, ISSN 0075-8434; 537) .
ISBN : 978-3-540-07856-2
Langues : Anglais (eng)
Catégories : 02F27
02F29
02F35
02H05
02H13
02H15
02K05
02K10
02K30Mots-clés : X Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5218 LN 537 Livre Recherche Salle Disponible Set theory and hierarchy theory V (1977) / A. LACHLAN
Titre : Set theory and hierarchy theory V : Bierutowice, Poland 1976 Type de document : texte imprimé Auteurs : A. LACHLAN, Editeur scientifique ; Marian SREBRNY, Editeur scientifique ; A. ZARACH, Editeur scientifique Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 619 Importance : VIII-358 p. ISBN/ISSN/EAN : 978-3-540-08521-8 Langues : Anglais (eng) Catégories : 02B20
02B25
02F29
02H20
02J05Mots-clés : théorie des ensembles Note de contenu : références Set theory and hierarchy theory V : Bierutowice, Poland 1976 [texte imprimé] / A. LACHLAN, Editeur scientifique ; Marian SREBRNY, Editeur scientifique ; A. ZARACH, Editeur scientifique . - Springer-Verlag, 1977 . - VIII-358 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 619) .
ISBN : 978-3-540-08521-8
Langues : Anglais (eng)
Catégories : 02B20
02B25
02F29
02H20
02J05Mots-clés : théorie des ensembles Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5239 LN 619 Livre Recherche Salle Disponible