Top 1006 murray hugh PDF Book Page 41

book image

Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin’s 60th birthday

Caicedo, Andrés Eduardo; Cummings, James; Koellner, Peter; Larson, Paul B. (eds.)
·346 Pages
·2017
·4.217 MB

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