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
List byAllen Liao

Textbook

  • June 9, 2024
  • 3 Books
  • Stats
Card

#2

Cover 8

Logic
ByPaul Tomassi

1999 • 1 Reader

#3

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
ByRob Nederpelt,Herman Geuvers

2014 • 4 Readers • 3.5

#4

Basic Proof Theory

Cambridge Tracts in Theoretical Computer Science

Basic Proof Theory
ByAnne S. Troelstra,H. Schwichtenberg

1996 • 1 Reader • 343 pages