scientific article; zbMATH DE number 1361536
From MaRDI portal
Publication:4699354
zbMath0937.03064MaRDI QIDQ4699354
Stefano Berardi, Stefano Baratella
Publication date: 4 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure of proofs (03F07) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
