Constructive Order Types
28.9 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Lev D. Beklemishev
Fields of Logic and Computation II
Provability, Computability and
Provability, Computability and Reflection
Provability, Computability and
Provability, Computability and Reflection Vol. II
Provability, Computability and
Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)