Rachunek sekwentów (Q1781161): Difference between revisions

Latest revision as of 14:28, 7 December 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

a0000002712803

0 references

0 references

0 references

0 references

0 references

0 references

P62287T79127

0 references

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