Gaifman, Haim, Uniform Extension Operators for Models and their Applications (1967) Gaifman, Haim, On Local Arithmetical Functions and their Application for Constructing Types of Peano's Arithmetic (1970) Gaifman, Haim, Ontology and Conceptual Frameworks (1973) Gaifman, Haim, Ontology and Conceptual Frameworks Part II Gaifman, Haim, Operations on Relational Structures, Functors and Classes, I Gaifman, Haim, Paradoxes of Infinity and Self-Applications, I. Galil, Zvi, The Complexity of Resolution Procedures for Theorem Proving in the Propositional Calculus (1975) Gallin, Daniel, Systems of Intensional Logic (1971) Gallin, Daniel, Intensional and Higher-Order Modal Logic (1972) Gál, S. ; Gál, L., The Discrepancy of the Sequence {($2^nx$)} (1964)