scientific article
From MaRDI portal
Publication:4046033
zbMATH Open0294.02018MaRDI QIDQ4046033
Publication date: 1974
Title of this publication is not available (Why is that?)
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Other degrees and reducibilities in computability and recursion theory (03D30)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4046033)
