Peirce's development of quantifiers and of predicate logic. - Richard Beatty (Notre Dame J. Formal Log., 1969)

Orbiting Arid Subsurface and Ice Sheet Sounder (OASIS): Exploring desert aquifers and polar ice sheets and their role in current and paleo-climate evolution. - Essam Heggy; Paul A. Rosen 002; Richard Beatty; Tony Freeman; Young Gim (IGARSS, 2013)