sequent calculus
Sign in to savestyle of formal logical argumentation
Wikidata facts
- Named after
- Gerhard Gentzen
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
style of formal logical argumentation
via Wikidata · CC0