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
| Gaba, Meyer Grupp, A Set of Postulates for General Projective Geometry (1915) |
| Gabbay, Dov, "Now" as a Unary Connective (Outline) |
| Gabbay, Dov, Abstracts |
| Gabbay, Dov, Applications of a Theorem of M.O. |
| Gabbay, Dov, Model Theory for Tense Logics |
| Gabbay, Dov, Summary of Main Results of Dov Gabbay |
| Gabbay, Dov M., Semantic Proof of Craig's Interpolation Theorem for Intuitionistic Logic and Extensions, Part I (1969) |
| Gabbay, Dov M., Semantic Proof of Craig's Interpolation Theorem for Intuitionistic Logic and Extensions, Part II (1969) |
| Gaifman, Haim, Ontology and Conceptual Frameworks Part II |
| Gaifman, Haim, Operations on Relational Structures, Functors and Classes, I |