On characterizations of the first-order functions calculus

DOI10.1305/NDJFL/1093956749zbMath0119.25101OpenAlexW2025166057MaRDI QIDQ2626396

Juliusz Reichbach

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

zbMATH Keywords

mathematical logic

This page was built for publication: On characterizations of the first-order functions calculus