Author:
Dummett M. A. E.,Lemmon E. J.
Reference14 articles.
1. Lattice Theory. American Mathematical Society Colloquium Publications, vol. XXV, New York 1948.
2. A propositional calculus with denumerable matrix. Forthcoming in Journ. Symb. Log.
3. On the existence of finite models and decision procedures for propositional calculi
4. General Topology Princeton 1955.
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献