scientific article
From MaRDI portal
Publication:2754033
zbMath0974.03014MaRDI QIDQ2754033
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
Uses Software
This page was built for publication: