Logika dowodliwości (Q1089874): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Provability logic
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Provability logic
@@ Property / National Library Identifier @@
+a1000000021576
@@ Property / National Library Identifier: a1000000021576 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika modalna
@@ Property / Related Subject: Logika modalna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Dowodzenie (logika)
@@ Property / Related Subject: Dowodzenie (logika) / rank @@
+Normal rank
@@ Property / Related Subject @@
+Dowód matematyczny
@@ Property / Related Subject: Dowód matematyczny / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P42616T36950
@@ Property / Version: P42616T36950 / rank @@
+Normal rank

Latest revision as of 22:11, 7 December 2023