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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing,
2018.
|
| Vydání: | 1st ed. 2018. |
| Edice: | Springer Undergraduate Mathematics Series,
|
| Témata: | |
| ISBN: | 9783319924144 |
| ISSN: | 1615-2085 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- Introduction
- 1 Sets
- 2 Models
- 3 Proofs
- 4 Sets Again
- Appendix: Topics for Further Study
- Photo Credits
- Bibliography
- Index.