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 |