yesterday i was the moon

Programming our lives

Walter M. Cummins, Walter Cummins, George Gordon

Types for Proofs and Programs

Jean-Christophe Filliatre,Christine Paulin-Mohring,Benjamin Werner

Tudor church militant

Encyclopedia of marks on American, English, and European earthenware, ironstone, stoneware, 1780-1980

Arnold A. Kowalsky, Dorothy E. Kowalsky