List byAllen Liao

Textbook

Updated 8 months ago
3 Books

#2

1999 • 1 Reader

#3

Type Theory and Formal Proof: An Introduction

ByRob Nederpelt,Herman Geuvers

2014 • 4 Readers • 3.5

#4

Cambridge Tracts in Theoretical Computer Science

Basic Proof Theory

ByAnne S. Troelstra,H. Schwichtenberg

1996 • 343 pages

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies