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.

@@ 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
@@ Property / Version @@
+Crone: Brewess
@@ Property / Version: Crone: Brewess / rank @@
+Normal rank

Restoring old revision of "Item:Q1781161"

Navigation menu

Search