Publication:3834042
From MaRDI portal
zbMath0678.03024MaRDI QIDQ3834042
Publication date: 1987
03F30: First-order arithmetic and fragments
Related Items
zbMath0678.03024MaRDI QIDQ3834042
Publication date: 1987
03F30: First-order arithmetic and fragments
Related Items