語系
Feferman, Solomon.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Proofs, categories and computations : = essays in honor of Grigori Mints /
by:
Feferman, Solomon.; Mints, G. E.; Sieg, Wilfried, (1945-.)
(書目-語言資料,印刷品)
Kurt Gödel : = essays for his centennial /
by:
Feferman, Solomon.; Parsons, Charles, (1933-); Simpson, Stephen G. (1945-); Gödel, Kurt.
(書目-語言資料,印刷品)