Hao Wang

Œuvres (2)

Couverture : Computation, logic, philosophy

Computation, logic, philosophy

1990
Couverture : Popular lectures on mathematical logic

Popular lectures on mathematical logic

1993