1 Table of Contents: “... to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order...”