scientific article; zbMATH DE number 663929

From MaRDI portal

Publication:4309506

Jump to:navigation, search

zbMath0803.03001MaRDI QIDQ4309506

Kurt Schütte, Helmut Schwichtenberg

Publication date: 5 January 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theory logicism intuitionism axiomatic set theory foundations of modern mathematical logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (3)

A modal view of linear logic ⋮ Which structural rules admit cut elimination? An algebraic criterion ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4309506&oldid=18252254"