scientific article; zbMATH DE number 1552073
From MaRDI portal
Publication:4524279
zbMath0966.03001MaRDI QIDQ4524279
Publication date: 17 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
