4c2.md « zettel « content - zk-web - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/content/zettel/4c2.md

blob: 1548494f2ce54d3ca6d9855ce7784dbb60f34309 (plain)

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