Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 | Paperback | 978-0-387-09564-6 | 1979 | Algebra Research Symposium on Applications of Sheaf Theory to Logic · M. P. Fourman · C. J. Mulvey · London Mathematical Society | |
| Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 | Taschenbuch | 978-3-540-08926-1 | 2009 | Gert H. Müller | |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Printed Access Code | 978-0-511-97423-6 | 2011 | Matthias Baaz · Christos H. Papadimitriou · Hilary W. Putnam · Charles L. Harper Jr | |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Hardcover | 978-0-521-76144-4 | 2011 | Matthias Baaz · Christos H. Papadimitriou · Hilary W. Putnam · Charles L. Harper Jr |
D S · D. S. Scott · D. Scott · Dana Scott · S S · S. Scott