共 50 条
- [1] COLLOQUIUM ON FOUNDATIONS OF MATHEMATICS, MATHEMATICAL MACHINES AND THEIR APPLICATIONS - KALMAR,L [J]. REVIEW OF METAPHYSICS, 1966, 19 (04): : 821 - 821
- [2] MATHEMATICAL FOUNDATIONS FOR MATHEMATICS [J]. AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (05): : 463 - &
- [3] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS [J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 215 - &
- [4] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1966, 41 (162P): : 381 - &
- [5] Mathematical Machines: A Laboratory for Mathematics [J]. Nexus Network Journal, 2009, 11 : 317 - 324
- [6] Mathematical Machines: A Laboratory for Mathematics [J]. NEXUS NETWORK JOURNAL, 2009, 11 (02) : 317 - 324
- [8] ANON - COLLOQUIUM ON APPLICATIONS OF MATHEMATICS TO ECONOMICS [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1966, 46 (06): : 405 - &