Browse

Genres Shelves Premium Blog

Company

About Jobs Partners Sell on Lex Affiliates

Resources

Docs Invite Friends FAQ

Legal

Terms of Service Privacy Policy general@lex-books.com (215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Home Genres Deals

Propositions as types by Steve Reeves | Lex | Lex

Propositions as types

Propositions as types

Book data from Open Library. Cover images courtesy of Open Library.