Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typ

For a one-semester freshman or sophomore level course on the fundamentals of proof writing or transition to advanced mathematics course. Rather than teach mathe

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students