"Enderton, Herbert B"

Mathematical Introduction to Logic - \\201000ENGGPSX - Elsevier 2010 Cambridge - 317 p.

includes index and biblioraphy

9.79E+12