Rachunek sekwentów (Q1781161)

From wikibase-docker
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
edit
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

a0000002712803
0 references
0 references
P62287T79127
0 references