scientific article; zbMATH DE number 1749189
From MaRDI portal
Publication:4532190
zbMath1014.03008MaRDI QIDQ4532190
Publication date: 5 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)
This page was built for publication:
