Bibliography of Hilary Putnam’s Writings in Logic and Mathematics (Q5214672): Difference between revisions

@@ Property / cites work @@
+Bibliography of Hilary Putnam’s Writings in Logic and Mathematics
+Normal rank
@@ Property / cites work @@
+Decidability and essential undecidability
@@ Property / cites work: Decidability and essential undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Hilary Putnam on logic and mathematics
@@ Property / cites work: Hilary Putnam on logic and mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions of Hilbert's tenth problem
@@ Property / cites work: Reductions of Hilbert's tenth problem / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An unsolvable problem in number theory
@@ Property / cites work: An unsolvable problem in number theory / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Separation of Recursively Enumerable Sets Within Theories
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Q3846669
@@ Property / cites work: Q3846669 / rank @@
+Normal rank
@@ Property / cites work @@
+On families of sets represented in theories
@@ Property / cites work: On families of sets represented in theories / rank @@
+Normal rank
@@ Property / cites work @@
+A note on constructible sets of integers
@@ Property / cites work: A note on constructible sets of integers / rank @@
+Normal rank