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

2 books in series

Foundations of Computing

Foundations of Computing is a 2-book series first released in 1991 with contributions by Benjamin C. Pierce and Yuri Matijasevich.

BooksCollections
Basic category theory for computer scientists
MostPopularFirstPublished
Basic category theory for computer scientists
ByBenjamin C. Pierce

1991 • 100 pages

Hilbert's tenth problem
Hilbert's tenth problem
ByYuri Matijasevich

1993 • 1 Reader