Definition of substitution
From MaRDI portal
Publication:5763660
DOI10.1090/S0002-9904-1936-06361-5zbMath0015.05003MaRDI QIDQ5763660
Publication date: 1936
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items (3)
Inception of Quine's ontology ⋮ A formal theory of the logical values. I ⋮ Concatenation as a basis for arithmetic
This page was built for publication: Definition of substitution