1. Semi-Boolean algebra;Abbott;Matematički Vesnik,1967
2. A functional calculus of the first order based on strict implication;Barcan;The Journal of Symbolic Logic,1946
3. The philosophical significance of modal logic;Bergmann;Mind,1960
4. A topological proof of the theorem of Löwenheim-Skolem-Gödel;Beth;Konikl. Nederl. Akademie van Wetenschappen, Amsterdam, Proceedings, Series A,1951
5. Semantic entailment and formal derivability;Beth;Mededelingen der Kon. Ned. Akad. v. Wet., new series,1955