Hardcover
FeedRecent activity by friends
Trending booksMost popular right now
RecommendationsJust for you
AskJulesTalk to our AI Librarian
5 Lab Experiments
Bookle Guess the bookSeries Tracker Save your place2023 Year in Books The hitsReader Similarity & DifferencesNew Releases What's hot
PromptsVote for your favorites
ListsCurated by our readers
GenresBrowse by Genre
MoodsBrowse by Mood
All BooksBrowse all books

Footer links

Community

Readers & Supporters
Join Our Discord

Follow Along

BlogHardcover LiveAbout HardcoverRequest a feature

We're an Open Book

Frequently Asked QuestionsContact SupportRoadmapOur Policies
iOSAndroidDiscordTikTokMastodonInstagram

Home

Library

Explore

Trending

@allen_liao
@allen_liaoBooksStatsReviewsListsPromptsGoalsNetworkActivity
AllWant to ReadCurrently ReadingReadDid Not Finish
Card

Types and Programming Languages
ByBenjamin C. Pierce

 0%
Done

On page
of 623.

Changing to... Page 0 of 623 (0%)

Types and Programming Languages

 0%
Done

On page
of 623.

Changing to... Page 0 of 623 (0%)

Cambridge Tracts in Theoretical Computer Science

Basic Proof Theory
ByAnne S. Troelstra,H. Schwichtenberg

 0%
Done

Basic Proof Theory

 0%
Done