| NCID | DA12102256 |
| 名称(HDNG) | International Colloquium "Constructivity in Mathematics" |
| 生没年(DATE) | 1957 |
| から見よ(SF) | International Colloquium "Constructivity in Mathematics," Amsterdam, 1957
Colloquium "Constructivity in Mathematics," International |
| 注記(NOTE) | PRELIMINARY
LCCN 63-522: Its Constructivity in mathematics, 1959 (hdg.: International Colloquium "Constructivity in Mathematics," Amsterdam, 1957)
SRC:Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting(North-Holland Publishing Co., 1959.) |
| LCAID | 84805665 |