scientific article; zbMATH DE number 1082863
From MaRDI portal
Publication:4365296
zbMath0878.00006MaRDI QIDQ4365296
Publication date: 4 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication:
