Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen

Springer Science and Business Media LLC - Tập 2 - Trang 1-3 - 1954
Gerhard Gentzen