Logarithmic and trigonometric tables.

"Copyright, 1913 and 1920 ... Revised edition published August 1920. Reprinted April, 1924 ... June, 1935."

Logarithmic and trigonometric tables.

Mode of access: Internet.

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

Third-year mathematics for secondary schools, with Logarithmic and trigonometric tables and mathematical formlas,

Biography on verso of each portrait.

Contributions to a theory of summability of trigonometric integrals.

Bibliography: p. 227.

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

Preface signed: William Chauvenet.

Five-place logarithmic-trigonometric tables.

Mode of access: Internet.