Introduction to mathematical structures and proofs - Gerstein Larry J (New York Springer-Verlag, 2012)
Keywords: Global analysis (Mathematics); Mathematical logic; Symbolic logic