On a Formalism Which Makes any Sequence of Symbols Well-Formed

DOI10.1017/S0027763000026556zbMath0165.01203MaRDI QIDQ5549790

Shigeo Ōhama

Publication date: 1968

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

general logic

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

• A Certain Kind of Formal Theories

This page was built for publication: On a Formalism Which Makes any Sequence of Symbols Well-Formed