summaryrefslogtreecommitdiffstats
path: root/transp-inf110-01-calc.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-11 13:55:47 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-11 13:55:47 +0100
commit4ff71fa17d9611851c8fae2673912a93894ad565 (patch)
tree78dc39342cb19e141806a7fdad4e0be813602299 /transp-inf110-01-calc.tex
parentb2f4e549cbee31cc1ee486030dff14b0a3762149 (diff)
downloadinf110-lfi-4ff71fa17d9611851c8fae2673912a93894ad565.tar.gz
inf110-lfi-4ff71fa17d9611851c8fae2673912a93894ad565.tar.bz2
inf110-lfi-4ff71fa17d9611851c8fae2673912a93894ad565.zip
Equivalence of sequent calculus with natural deduction.
Diffstat (limited to 'transp-inf110-01-calc.tex')
0 files changed, 0 insertions, 0 deletions