Rachunek sekwentów (Q1781161)

From wikibase-docker

Revision as of 23:26, 21 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Rachunek sekwentów with Lapacz)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

No description defined

Rachunek Gentzena
Rachunek sekwentowy
Rachunki Gentzena
Rachunki sekwentów
Sekwenty Gentzena
System Gentzena
System LK
Systemy Gentzena
Sequent calculus

Language	Label	Description	Also known as
English	Rachunek sekwentów	No description defined	Rachunek Gentzena Rachunek sekwentowy Rachunki Gentzena Rachunki sekwentów Sekwenty Gentzena System Gentzena System LK Systemy Gentzena Sequent calculus

Statements

Crone: Brewess

0 references

Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q1781161&oldid=3364411"