header
cover

Proceedings of the Herbrand symposium : Logic colloquium '81 : Proceedings of the Herbrand symposium held in Marseille, France, July 1981 [monographie]

Auteur(s): Stern, Jacques (1949....) (Ed.)
Langue: anglais
Collection: Studies in logic and the foundations of mathematics, n° 107
Editeur, date d'édition: North-Holland Publishing Company, Inc., 1982
Ville(s) d'édition: Oxford (GB), New York (US), Amsterdam (NL)
Congrés: Proceedings of the Herbrand symposium - Logic colloquium '81 (1981)
Marseille (FR)
ISBN: 0-444-86417-2
ISSN: 0049-237X
Classification MSC: 03-06 (2000)
Notes: xi ; notes bibliogr. ; 23 cm ; 384 p.
Thèmes: logique mathematique, congres, logic, symbolic and mathematical



     Exemplaire(s)
CoteRetour
05 STE 82Disponible