On Stop‐Conditions in the Definitions of Constructive Languages
From MaRDI portal
Publication:5508288
DOI10.1002/MALQ.19650110107zbMATH Open0135.25202OpenAlexW2051847312MaRDI QIDQ5508288FDOQ5508288
Authors: Ivan Friš 
Publication date: 1965
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19650110107
This page was built for publication: On Stop‐Conditions in the Definitions of Constructive Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5508288)
