Health effects evaluation data file : data file design, abstraction, coding, and computerization of the 1977 and 1978 health hazard evaluation and technical assistance reports /

Mode of access: Internet.

Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.

The evolution of programs : program abstraction and instantiation /

"NSF-MCS-79-04897."

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Die Lehre von der Abstraktion bei Plato und Aristoteles /

Thesis--Berlin, 1914.

Über Abstraktion : eine psychologisch-pädogogische Monographie /

Originally presented as the author's thesis (doctoral)--Universität Jena, 1890.