+++
title = "Proof Theory"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4e5"]
forwardlinks = []
zettelid = "4e6"
+++