Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Gardado en:
Detalles Bibliográficos
Autor Corporativo: Logic colloquium :Aix-la-Chapelle, Allemagne
Outros autores: Börger, Egon, 1946- (Directeur de la publication), Oberschelp, Walter, 1933- (Directeur de la publication), Richter, Michael M., 1938-2020, mathématicien (Directeur de la publication), Schinzel, Brigitta, 19..- (Directeur de la publication), Thomas, Wolfgang, 1947-...., informaticien (Directeur de la publication)
Formato: Livre numérique
Idioma:Anglais
Publicado: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Series:Lecture notes in mathematics 1104
Sujets:
Théorie de la démonstration
Logique symbolique et mathématique
Fonctions calculables > Informatique
Actes de congrès
Acceso en liña:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Accès INSA CVL
Nota: Autres contributions : Brigitta Schinzel, Wolfgang Thomas (eds)
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Computation and proof theory, proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II, edited by M.M. Richter, E. Börger, W. Oberschelp... [et al.], 1984, Berlin [etc.], Springer-Verlag, 1 vol. (VII-475 p.), Lecture notes in mathematics, 3-540-13901-X
• Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, Texte imprimé, 9783662205327

Títulos similares

Títulos similares