scientific article; zbMATH DE number 3645049
From MaRDI portal
Publication:3050397
zbMATH Open0415.03009MaRDI QIDQ3050397FDOQ3050397
Authors: Yu. I. Yanov 
Publication date: 1977
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
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 Q3050397)
