scientific article; zbMATH DE number 5066362
From MaRDI portal
Publication:5393640
zbMath1107.03067MaRDI QIDQ5393640
Publication date: 23 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Computable structure theory, computable model theory (03C57)
Related Items (1)
This page was built for publication:
