Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation

DOI10.2307/2371067zbMath0013.24303OpenAlexW2323877322MaRDI QIDQ5761096

D. L. Webb

Publication date: 1936

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2371067

zbMATH Keywords

Foundations, philosophy, logic

Related Items (2)

On η-valued functionally complete truth functions ⋮ Which data types have \(\omega\)-complete initial algebra specifications?

This page was built for publication: Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation