The theory of constructive types. (Principles of logic and mathematics.) Part 1: General principles of logic: Theory of classes and relations.
From MaRDI portal
Publication:1457180
zbMath50.0028.04MaRDI QIDQ1457180
Publication date: 1924
Published in: Annales de la Société Polonaise de Mathématique (Search for Journal in Brave)
Full work available at URL: http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath
This page was built for publication: The theory of constructive types. (Principles of logic and mathematics.) Part 1: General principles of logic: Theory of classes and relations.