The ϱ-Calculus
From MaRDI portal
Publication:3922682
DOI10.1002/MALQ.19810270702zbMath0469.03049OpenAlexW2096659143MaRDI QIDQ3922682
Peter J. Kelemen, Christopher K. R. T. Jones
Publication date: 1981
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810270702
This page was built for publication: The ϱ-Calculus