allen_liao
Allen Liao

Textbook

Position
Details
Rating
Readers Count
Controls
#2
Cover 8

Logic

Logic
  • Paul Tomassi
00 reads
#3
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction
  • Rob Nederpelt
  • Herman Geuvers
3.51 read
#4
Basic Proof Theory
Basic Proof Theory
  • Anne S. Troelstra
  • H. Schwichtenberg
01 read