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, 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) |