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

1 book in series

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 1-book series first released in 1996 with contributions by Anne S. Troelstra and H. Schwichtenberg.

BooksCollections
Basic Proof Theory
Basic Proof Theory
ByAnne S. Troelstra,H. Schwichtenberg

1996 • 1 Reader • 343 pages