Logic

formal logic syllogism mathematical logic combinatory logic informal logic independence-friendly logic logic in computer science philosophical logic computational logic dependence logic pure inductive logic game semantics Theory of obligationes verbal reasoning