A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur M.M. Richter |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesComputation and proof theory / M.M. Richter (1984)
Titre : Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II Type de document : séminaire Auteurs : M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1104 Importance : VIII-475 p. ISBN/ISSN/EAN : 978-3-540-13901-0 Langues : Anglais Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II [séminaire] / M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur . - Berlin : Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 Livre Recherche Salle Disponible
Titre : Models and sets : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part I Type de document : séminaire Auteurs : G. H. MÜLLER, Auteur ; M.M. Richter, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1103 Importance : VIII-484 p. ISBN/ISSN/EAN : 978-3-540-13900-3 Langues : Anglais Catégories : 03Cxx
03Exx
03Gxx
03HxxMots-clés : logique symbolique théorie des modèles théorie des ensembles Note de contenu : références Models and sets : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part I [séminaire] / G. H. MÜLLER, Auteur ; M.M. Richter, Auteur . - Berlin : Springer-Verlag, 1984 . - VIII-484 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1103) .
ISBN : 978-3-540-13900-3
Langues : Anglais
Catégories : 03Cxx
03Exx
03Gxx
03HxxMots-clés : logique symbolique théorie des modèles théorie des ensembles Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2306 LN 1103 Livre Recherche Salle Disponible
