+++
title = "Gentzen's Sequent Calculus"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4c1"]
forwardlinks = ["4c3", "4c2a"]
zettelid = "4c2"
+++