A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03BXX
Affiner la recherche Interroger des sources externes
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