Top 1200 thomas sj berg deanne rauscher tove meyer PDF Book Page 50

book image

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
·339 Pages
·2003
·2.936 MB

book image

Grace and Freedom: Operative Grace in the Thought of St. Thomas Aquinas

Bernard J. F. Lonergan
·531 Pages
·2000
·61.21 MB