Selected papers on automath / ed. R. P. Nederpelt, J. H. Geuvers, R. C. De Vrijer; colab. L. S. Van Benthem Jutting, D. T. Van Daalen
Secondary Author Nederpelt, Rob P.Geuvers, Herman, 1964-
Vrijer, Roel C. de
Jutting, L. S. van Benthem
Daalen, D. T. van Country Holanda. Publication Amsterdam : Elsevier, 1994 Description XIX, 1024 p. ; 23 cm Series Studies in logic and the foundations of mathematics , 133 ISBN 0-444-89822-0 CDU 519.6
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 47781 | Available | 239081 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.