International Society of Olympic Historians International Society of Olympic Historians The International Society of Olympic Historians (ISOH) is a non-profit organization founded in 1991 with the purpose of promoting and studying the Olympic Movement and the Olympic Games. The majority of recent books on the Olympic Games have been written by ISOH members. The ISOH publishes the Journal of Olympic History (JOH, formerly "Citius, Altius, Fortius") three times a year. The International Society of Olympic Historians (ISOH) was formed as the result of a meeting in London, England in December 1991. The idea of forming an Olympic historical society had been the subject of correspondence
Higher-order logic Higher-order logic In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is simple, not polymorphic or dependent. First-order logic quantifies only variables that range over individuals; second-order logic, in addition, also quantifies over sets; third-order logic also quantifies