Octocurious

troelstra2000-proof-theory

1 min read

  1. Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory.

Graph View

Backlinks