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
| Harel, David, Logics of Programs: Axiomatics and Descriptive Power (1978) |
| Harnik, Victor, A Two Cardinal Theorem for Sets of Formulas in a Stable Theory |
| Harnik, Victor, Game Sentences, Recursive Saturation and Definability |
| Harnik, Victor, Effective Proper Procedures and Universal Classes of Program Schemata (1973) |
| Harnik, Victor, On the Existence of Saturated Models of Stable Theories (1974) |
| Harnik, Victor ; Makkai, Michael, New Axiomatizations for Logics with Generalized Quantifiers |
| Harper, William L., A Sketch of Some Recent Developments in the Theory of Conditionals (1980) |
| Harrah, David, An Analysis of Question-and-Answer Situations |
| Harrah, David, Formal Message Theory (1971) |
| Harrah, David, The Logic of Questions and its Relevance to Instructional Science (1973) |