A Concise Introduction to Mathematical Logic - Rautenberg, Wolfgang., author (New York, NY Springer New York, 2006)
Mathematics and Statistics (Springer-11649)
Keywords: Logic, Symbolic and mathematical; Computational Science and Engineering; Computer science; Mathematical Logic and Foundations; Mathematics; Mathematics