Top 1098 bruce murray PDF Book Page 44

book image

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)
·340 Pages
·1997
·25.428 MB

book image

The Books of Jeu and the Untitled Text in the Bruce Codex (The Coptic Gnostic Library)

Carl Schmidt (ed.), Violet MacDermot (trans.)
·371 Pages
·1978
·12.925 MB