Scan Barcode

Username:

Password:

Forgot your password?

John L. Bell

External links

View on OpenLibrary

Books by John L. Bell

No cover — John L. Bell: Higher-Order Logic and Type Theory (2022, Cambridge University Press)

No rating

Higher-Order Logic and Type Theory

by John L. Bell

Successfully posted status

Error posting status

About book.itmens

Contact site admin

Code of Conduct

BookWyrm's source code is freely available. You can contribute or report issues on GitHub.

Discussions in lounge.itmens or /d/ - chan.itmens
Contact the admin via /o/ - chan.itmens