Die Entwicklung der Beweistheorie

MaRDI QIDQ1250810zbMATH OpenFDO

Authors Kurt Schütte

Publication date 1978

Published in Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Die Entwicklung der Beweistheorie

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1250810)