000			00735nam a2200145 4500
020			_a9783319924137
082			_a551.3 _bM69S
100			_aMoerdijk, Ieke _946456
245			_aSets, Models and Proofs _cby Ieke Moerdijk and Jaap Van Oosten
260			_aSwitzerland _bSpringer _c2018
300			_axiv, 141p. _bPB
520			_aThis textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.
700			_aOosten, Jaap Van _946457
942			_cTB
999			_c16850 _d16850