scientific article; zbMATH DE number 5269066
From MaRDI portal
Publication:5384980
zbMath1137.03015MaRDI QIDQ5384980
Publication date: 29 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
This page was built for publication:
