scientific article; zbMATH DE number 1070628

zbMath0949.03527MaRDI QIDQ4357068

Stanley S. Wainer

Publication date: 7 October 1997

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

zbMATH Keywords

surveyelementary proof theory

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: