A decision method and a topological interpretation for systems of logical implication

Name: A decision method and a topological interpretation for systems of logical implication
Author: Naoto Yonemitsu

by Naoto Yonemitsu · 1 review · 1956

Reviewed by	Journal	Date	Access
P. G. J. Vredenduin	The Journal of Symbolic Logic	1956	Restricted

Also by Yonemitsu