John L. Bell - Higher-Order Logic and Type Theory - New Paperback - X555z

Higher-Order Logic and Type Theory - 9781108986908

Higher-order Logic and Type Theory, Paperback by Bell, John L., Like New Used...

Set Theory and the Continuum Hypothesis by Paul J. Cohen (English) Paperback Boo

Higher-order Logic and Type Theory, Paperback by Bell, John L., Brand New, Fr...

Higher-Order Logic and Type Theory by John L Bell: New

Higher-Order Logic and Type Theory Bell Paperback Cambridge University Press

Higher-Order Logic and Type Theory John L. Bell Paperback Cambrid