scientific article; zbMATH DE number 6741924
From MaRDI portal
zbMath1367.03014MaRDI QIDQ5271409
Publication date: 11 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items