Login

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