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."

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

Preface signed: William Chauvenet.

Tarjamat ḥayāt al-maghfūr la-hu al-imām al-kabīr wa-al-ʻalam al-shahīr al-faqīh al-akbar fī ʻaṣrih wa-al-imām al-awḥad fī miṣrih al-Shaykh ʻAbd al-Qādir al-Rāfiʻī al-Fārūqī al-Ḥanafī Shaykh al-Sādah al-Ḥanafīyah wa-muftī al-diyār al-Miṣrīyah [microform] : mudhayyalah bi-aqwāl al-jarāʾid wa-marāthī al-ʻulamāʾ wa-al-udabāʾ fī al-aqṭār al-ʻArabīyah /

Microfilm.