1 2 3 4 5 6 7 8 9
+++ title = "Proof Theory" author = "Yann Herklotz" tags = [] categories = [] backlinks = ["4e5"] forwardlinks = [] zettelid = "4e6" +++