Bibliographic Details
| Corporate Author : |
Logic colloquium
(Artiste) |
| Format : |
Book |
| Language : |
anglais |
| Title statement : |
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987 / [European Summer Meeting of the Association for Symbolic Logic]; edited by H.-D. Ebbinghaus,... J. Fernandez-Prida,... M. Garrido,... D. Lascar,... [et al.] |
| Published : |
Amsterdam, New-York, Oxford, Tokyo :
North-Holland
, 1989
|
| Physical Description : |
1 vol. (X-375 p.) |
| Series : |
Studies in logic and the foundations of mathematics ; 129
|
| Titre de l'ensemble : |
Studies in logic and the foundations of mathematics vol. 129 |
| Subjects : |
|
Nantilus
