On characterizations of the first-order functions calculus
From MaRDI portal
Publication:2626396
DOI10.1305/NDJFL/1093956749zbMath0119.25101OpenAlexW2025166057MaRDI QIDQ2626396
Publication date: 1961
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956749
This page was built for publication: On characterizations of the first-order functions calculus