“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891): Difference between revisions

@@ Property / cites work @@
+Q4756727
@@ Property / cites work: Q4756727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5097275
@@ Property / cites work: Q5097275 / rank @@
+Normal rank
@@ Property / cites work @@
+Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
+Normal rank
@@ Property / cites work @@
+Q4309506
@@ Property / cites work: Q4309506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Untersuchung der verzweigten Analysis
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen zum Entscheidungsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Algebraische und logistische Untersuchungen über freie Verbände
+Normal rank
@@ Property / cites work @@
+Applicative theories for the polynomial hierarchy of time and its levels
+Normal rank
@@ Property / cites work @@
+Gentzen’s Consistency Proof in Context
@@ Property / cites work: Gentzen’s Consistency Proof in Context / rank @@
+Normal rank
@@ Property / cites work @@
+Die Grundlegung der elementaren Zahlenlehre
@@ Property / cites work: Die Grundlegung der elementaren Zahlenlehre / rank @@
+Normal rank
@@ Property / cites work @@
+Q4479353
@@ Property / cites work: Q4479353 / rank @@
+Normal rank