Studies in logic and the foundations of mathematics / L.E.J. Broowuer, E.W. Beth, A. Heyting, eds. - 161 páginas Subjects--Topical Terms: Lógica simbólica y matemática LC Class. No.: QA9 / S895