On denumerable bases of formal systems. Mathematical interpretation of formal systems

by Hao Wang · 1 review · 1957

Reviewed by Journal Date Access
Clifford Spector The Journal of Symbolic Logic 1957 Restricted

Metaphysics & Logic

Also by Wang

Search PhilReviews for this title