Logic, Induction And Sets by Thomas Förster & T.E. Forster