The Formalization of Mathematics Hao Wang

Autor: Müller, Gert H.
Zdroj: The Journal of Symbolic Logic, 1957 Sep 01. 22(3), 290-292.
Databáze: JSTOR Journals