1. Church, A., Introduction to Mathematical Logic, vol. I, Princeton 1956.
2. Cocchiarella, N., Tense Logic: a Study of Temporal Reference. Dissertation, The University of California, Los Angeles, 1966.
3. Henkin, L., ‘The Completeness of the First-Order Functional Calculus’, Journal of Symbolic Logic
14 (1949) 159–166.
4. Henkin, L., ‘A Generalization of the Concept of co-Completeness’, Journal of Symbolic Logic
22 (1957) 1–14.
5. Hintikka, J., Knowledge and Belief. Ithaca, New York, 1962.