Beweistheoretische Untersuchung der verzweigten Analysis

DOI10.1007/BF01343554zbMath0046.00603MaRDI QIDQ2649746

Kurt Schütte

Publication date: 1952

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160263

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Zur Widerspruchsfreiheit einer typenfreien Logik ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ The formalization of mathematics ⋮ A predicative and decidable characterization of the polynomial classes of languages ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

Cites Work

• Algebraische und logistische Untersuchungen über freie Verbände

This page was built for publication: Beweistheoretische Untersuchung der verzweigten Analysis