Deductive foundation and analytic propositions (Q1211485): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040321
@@ Property / cites work: Q4040321 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical system based on rules and its application in teaching mathematical logic
+Normal rank
@@ Property / cites work @@
+Q5540431
@@ Property / cites work: Q5540431 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1211485