IBUKI VIRTUAL LIBRARY
Mirror of the World

Wang, Hao (1921-1995)

IBUKI has collected togethered and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.

Works of Hao Wang

Logic

Existence classes and value specification of variables [wang-existence]
- 1950
  Journal of Symbolic Logic 15, 103-112
- 1962
  Reprinted in [1962a] in Chapter XX, Section 1.
Logic of Many-Sorted Theories [wang-logic]
- 1952 [wang1952logic]
  Journal of Symbolic Logic, 17(2) pp 105-116

Sample Topics:

Juan Diego's Tilma

Barnum Brown

Kid's Versions:

Mundi for Kids

Kid's Science

SCIAM