A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-06
Affiner la recherche Interroger des sources externes
Logic year 1979-80 (1981) / M. LERMAN
Titre : Logic year 1979-80 : The University of Connecticut, USA Type de document : séminaire Auteurs : M. LERMAN, Auteur ; J.H. SCHMERL, Auteur ; R.I. SOARE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 859 Importance : VI-326 p. ISBN/ISSN/EAN : 978-3-540-10708-8 Langues : Anglais (eng) Catégories : 03-06 Mots-clés : logique Note de contenu : références Logic year 1979-80 : The University of Connecticut, USA [séminaire] / M. LERMAN, Auteur ; J.H. SCHMERL, Auteur ; R.I. SOARE, Auteur . - Springer-Verlag, 1981 . - VI-326 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 859) .
ISBN : 978-3-540-10708-8
Langues : Anglais (eng)
Catégories : 03-06 Mots-clés : logique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5283 LN 859 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 Model theory and arithmetic (1981) / C. BERLINE
Titre : Model theory and arithmetic : Comptes Rendus d'une action thématique programmée du CNRS sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 Type de document : séminaire Auteurs : C. BERLINE, Auteur ; K. MCALOON, Auteur ; J.P. RESSAYRE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 890 Importance : VI-306 p. ISBN/ISSN/EAN : 978-3-540-11159-7 Langues : Anglais (eng) Catégories : 03-06
03C55
03C65
03H15Mots-clés : arithmétique modèle mathématique Note de contenu : références Model theory and arithmetic : Comptes Rendus d'une action thématique programmée du CNRS sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 [séminaire] / C. BERLINE, Auteur ; K. MCALOON, Auteur ; J.P. RESSAYRE, Auteur . - Springer-Verlag, 1981 . - VI-306 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 890) .
ISBN : 978-3-540-11159-7
Langues : Anglais (eng)
Catégories : 03-06
03C55
03C65
03H15Mots-clés : arithmétique modèle mathématique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1697 LN 890 Livre Recherche Salle Disponible