Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / M. M. Richter, E. Börger, W. Oberschelp... [et al.]

Auteur principal collectivité : logic colloquium, 1983, AuteurAuteur secondaire : Richter, Michael M., 1938-, Editeur scientifique • Borger, Egon, 1946-, Editeur scientifique • Oberschelp, Walter, 1933-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in mathematics, 1104Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1984ISBN: 9783540139010.ISSN: 1617-9692.Sujet MSC : 03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.