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 |
Externí odkaz: |
Autor: | Müller, Gert H. |
---|---|
Zdroj: | The Journal of Symbolic Logic, 1957 Sep 01. 22(3), 290-292. |
Databáze: | JSTOR Journals |
Externí odkaz: |