A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Gaifman, Haim, Paradoxes of Infinity and Self-Applications, I. |
| Gaifman, Haim, Concerning Measures on Boolean Algebras (1963) |
| Gaifman, Haim, Concerning Measures on Boolean Algebras (1964) |
| 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) |
| Gál, S. ; Gál, L., The Discrepancy of the Sequence {($2^nx$)} (1964) |
| 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) |