scientific article; zbMATH DE number 5204715

From MaRDI portal

Publication:5421795

Jump to:navigation, search

zbMath1122.03302MaRDI QIDQ5421795

Wilfried Sieg

Publication date: 24 October 2007

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

zbMATH Keywords

proof theory constructive foundation to mathematical analysis constructive relative consistency epistemological reductions generalization of Hilbert's program

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Relative consistency and interpretations (03F25)

This page was built for publication:

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