Top 703 murray davies PDF Book Page 29

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

On Stone and Scroll: Essays in Honour of Graham Ivor Davies (Beihefte zur Zeitschrift fur die Alttestamentliche Wissenschaft)

James K. Aitken, Katherine J. Dell, Brian A. Mastin (editors)
·605 Pages
·2011
·19.216 MB