scientific article; zbMATH DE number 1070622
From MaRDI portal
Publication:4357062
zbMath0876.03010MaRDI QIDQ4357062
Publication date: 7 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (2)
Uses Software
This page was built for publication: