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
Affiner la recherche Interroger des sources externesLogic symposia Hakone 1979, 1980 (1981) / G. H. MÜLLER
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 (eng) 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 . - Springer-Verlag, 1981 . - XI-394 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 891) .
ISBN : 978-3-540-11161-0
Langues : Anglais (eng)
Catégories : 03Cxx
03DXX
03Exx
03FXX
03HxxMots-clés : logique mathématique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1653 LN 891 Livre Recherche Salle Disponible Mathematical logic and applications (1989) / J. Shinoda
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 (eng) 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 . - Springer-Verlag, 1989 . - 222 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1388) .
ISSN : 3-540-51257-5
Langues : Anglais (eng)
Catégories : 03-06
03BXX
03DXX
03Exx
03FXX
03HxxMots-clés : logique logique symbolique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 899 LN 1388 Livre Recherche Salle Disponible