scientific article
From MaRDI portal
Publication:3352993
zbMath0729.03004MaRDI QIDQ3352993
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Model theory of finite structures (03C13) Recursive functions and relations, subrecursive hierarchies (03D20)
This page was built for publication:
