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)
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

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