Jerzy Tiuryn. Logic of effective definitions. Fundamenta Informaticae, 4(3):629-660, 1981.
@article{Tiuryn81, title = {Logic of effective definitions}, author = {Jerzy Tiuryn}, year = {1981}, tags = {logic}, researchr = {https://researchr.org/publication/Tiuryn81}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {4}, number = {3}, pages = {629-660}, }