Top 1200 jonathan murray PDF Book Page 50

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

People, Nations and Traditions in a Comparative Frame: Thinking about the Past with Jonathan Steinberg

D’Maris Coffman (editor), Harold James (editor), Nicholas Di Liberto (editor)
·290 Pages
·2021
·2.879 MB