Search results

Showing 41-50 of 64 results

Select/deselect all
  • Export citations

The Formalization of Mathematics

Wang, Hao
Journal of Symbolic Logic Volume 19, Number 4 (December, 1954), 241-266.

Journal article

Problems

Wang, Hao
Journal of Symbolic Logic Volume 18, Number 2 (June, 1953), 186.

Journal article
Select/deselect all