The Treatment of Data Types in EL1 (1971)

by B Wegbreit