The Theory of Logical Types
London: Routledge & Kegan Paul (1971), 1971. First edition. Hardcover. Small 8vo. [6], vii-x, 1-129, [5] pp. Orange cloth with black lettering on the spine. Part of the Monographs in Modern Logic series. An account of the Theory of Logical Types, and hte problems that gave rise to it, and..... More

