scientific article; zbMATH DE number 3365220
From MaRDI portal
Publication:5638285
zbMATH Open0231.02042MaRDI QIDQ5638285
Publication date: 1970
Title of this publication is not available (Why is that?)
Word problems, etc. in computability and recursion theory (03D40) Proof theory and constructive mathematics (03F99)
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 Q5638285)