A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur T. Tugue |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Logic symposia Hakone 1979, 1980 / G. H. MÜLLER (1981)
Titre : Logic symposia Hakone 1979, 1980 : Proceedings of conferences held in Hakone, Japan. March 21-24, 1979 and February 4-7, 1980 Type de document : séminaire Auteurs : G. H. MÜLLER, Auteur ; G. TAKEUTI, Auteur ; T. Tugue, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 891 Importance : XI-394 p. ISBN/ISSN/EAN : 978-3-540-11161-0 Langues : Anglais Catégories : 03Cxx
03DXX
03Exx
03FXX
03HxxMots-clés : logique mathématique Note de contenu : références Logic symposia Hakone 1979, 1980 : Proceedings of conferences held in Hakone, Japan. March 21-24, 1979 and February 4-7, 1980 [séminaire] / G. H. MÜLLER, Auteur ; G. TAKEUTI, Auteur ; T. Tugue, Auteur . - Berlin : Springer-Verlag, 1981 . - XI-394 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 891) .
ISBN : 978-3-540-11161-0
Langues : Anglais
Catégories : 03Cxx
03DXX
03Exx
03FXX
03HxxMots-clés : logique mathématique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1653 LN 891 Livre Recherche Salle Disponible Mathematical logic and applications / J. Shinoda (1989)
Titre : Mathematical logic and applications : Proceedings of the Logic meeting held in Kyoto, 1987 Type de document : séminaire Auteurs : J. Shinoda, Auteur ; T.A. Slaman, Auteur ; T. Tugue, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1989 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1388 Importance : 222 p. ISBN/ISSN/EAN : 3-540-51257-5 Langues : Anglais Catégories : 03-06
03BXX
03DXX
03Exx
03FXX
03HxxMots-clés : logique logique symbolique Note de contenu : références Mathematical logic and applications : Proceedings of the Logic meeting held in Kyoto, 1987 [séminaire] / J. Shinoda, Auteur ; T.A. Slaman, Auteur ; T. Tugue, Auteur . - Berlin : Springer-Verlag, 1989 . - 222 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1388) .
ISSN : 3-540-51257-5
Langues : Anglais
Catégories : 03-06
03BXX
03DXX
03Exx
03FXX
03HxxMots-clés : logique logique symbolique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 899 LN 1388 Livre Recherche Salle Disponible