Sperner's theorem on maximal-sized antichains and its generation /

Includes bibliographical references.

Theorem proving with abstraction, part II /

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

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Weltgeschichte in gemeinverständlicher Darstellung, in Verbindung mit G. Bourgin, E. Ciccotti, E. Hanslik, S. Hellmann, K. Kaser, E.G. Klauber, E. Kohn, J. Kromayer und A. von Rosthorn,

Mode of access: Internet.

Binomial theorem and logarithms. For the use of the midshipmen at the naval school, Philadelphia.

Preface signed: William Chauvenet.