Unpacking the logic of mathematical statements (Q1905802): Difference between revisions

@@ Property / cites work @@
+Q5813687
@@ Property / cites work: Q5813687 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040098
@@ Property / cites work: Q4040098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5843404
@@ Property / cites work: Q5843404 / rank @@
+Normal rank
@@ Property / cites work @@
+The Moore Method
@@ Property / cites work: The Moore Method / rank @@
+Normal rank
@@ Property / cites work @@
+Rigor and Proof in Mathematics: A Historical Perspective
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring Mathematical Proofs
@@ Property / cites work: Structuring Mathematical Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523518
@@ Property / cites work: Q4523518 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01274210
+Normal rank
@@ Property / OpenAlex ID @@
+W2081418977
@@ Property / OpenAlex ID: W2081418977 / rank @@
+Normal rank