Restoring old revision of "Item:Q1781161"

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.

@@ 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 / National Library Identifier @@
-a0000002712803
@@ Property / National Library Identifier: a0000002712803 / rank @@
-Normal rank
@@ Property / Related person @@
-Gentzen, Gerhard
@@ Property / Related person: Gentzen, Gerhard / rank @@
-Normal rank
@@ Property / Related Subject @@
-Automatyczne dowodzenie twierdzeń
@@ Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika matematyczna
@@ Property / Related Subject: Logika matematyczna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika substrukturalna
@@ Property / Related Subject: Logika substrukturalna / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P62287T79127
@@ Property / Version: P62287T79127 / rank @@
-Normal rank