Rautenberg, Wolfgang.

A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. - Second edition - New York, NY : Springer Science+Business Media, Inc., 2006. - v.: digital - Universitext .

9780387342412


Mathematics
Computer science
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Computational Science and Engineering

QA9 / R38 2006