Abelian group theory and related topics /

Decision problems for equational theories of relation algebras / by Andréka, Hajnal, 1947-

A logical introduction to proof / by Cunningham, Daniel W.

Table of Contents: “…Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.…”