Cargando…
Sets, models and proofs
This 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 us...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2018
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-92414-4 http://cds.cern.ch/record/2650838 |