Studies in logic and the foundations of mathematics / L.E.J. Broowuer, E.W. Beth, A. Heyting, eds. - 161 páginas


Lógica simbólica y matemática

QA9 / S895