Mathematical Logic and Model Theory - Prestel, Alexander., author (London Springer London, 2011)
Mathematics and Statistics (Springer-11649)
Keywords: Mathematics, general; Computer science; Mathematical Logic and Formal Languages; Mathematics; Mathematics