Rachunek sekwentów (Q1781161): Difference between revisions

Revision as of 23:26, 21 September 2023

No description defined

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

Crone: Brewess

0 references

@@ aliases / en / 0 / aliases / en / 0 @@
+Rachunek Gentzena
@@ aliases / en / 1 / aliases / en / 1 @@
+Rachunek sekwentowy
@@ aliases / en / 2 / aliases / en / 2 @@
+Rachunki Gentzena
@@ aliases / en / 3 / aliases / en / 3 @@
+Rachunki sekwentów
@@ aliases / en / 4 / aliases / en / 4 @@
+Sekwenty Gentzena
@@ aliases / en / 5 / aliases / en / 5 @@
+System Gentzena
@@ aliases / en / 6 / aliases / en / 6 @@
+System LK
@@ aliases / en / 7 / aliases / en / 7 @@
+Systemy Gentzena
@@ aliases / en / 8 / aliases / en / 8 @@
+Sequent calculus
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Rachunek Gentzena
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Rachunek sekwentowy
@@ aliases / pl / 2 / aliases / pl / 2 @@
+Rachunki Gentzena
@@ aliases / pl / 3 / aliases / pl / 3 @@
+Rachunki sekwentów
@@ aliases / pl / 4 / aliases / pl / 4 @@
+Sekwenty Gentzena
@@ aliases / pl / 5 / aliases / pl / 5 @@
+System Gentzena
@@ aliases / pl / 6 / aliases / pl / 6 @@
+System LK
@@ aliases / pl / 7 / aliases / pl / 7 @@
+Systemy Gentzena
@@ aliases / pl / 8 / aliases / pl / 8 @@
+Sequent calculus
@@ Property / Version @@
+Crone: Brewess
@@ Property / Version: Crone: Brewess / rank @@
+Normal rank