Mathematical Logic: On Numbers, Sets, Structures, and Symmetry

Presents an introduction to of formal mathematical logic and set theory

Presents simple yet nontrivial results in modern model theory

Provides introductory remarks to all results, including a historical background

Roman Kossak is a Professor of Mathematics at the City University of New York. He does research in model theory of formal arithmetic. He has published 38 research papers and co-authored a monograph on the subject for the Oxford Logic Guides series. His other interests include philosophy of mathematics, phenomenology of perception, and interactions between mathematics philosophy and the arts.