|
|
|
|
| LEADER |
01850nam a22004697a 4500 |
| 003 |
AR-BaUEN |
| 005 |
20220816134525.0 |
| 008 |
220302s2018 sz ad||f |||| 001 0 eng d |
| 020 |
|
|
|a 9783319972978
|
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 044 |
|
|
|a sz
|
| 080 |
|
|
|a 510.6
|
| 100 |
1 |
|
|a Kossak, Roman
|
| 245 |
1 |
0 |
|a Mathematical logic :
|b on numbers, sets, structures, and symmetry /
|c Roman Kossak
|
| 260 |
|
|
|a Cham :
|b Springer :
|c c2018
|
| 300 |
|
|
|a xiii, 186 p. :
|b il., gráfs.
|
| 490 |
0 |
|
|a Springer graduate texts in philosophy ;
|v v.3
|
| 500 |
|
|
|a Incluye ejercicios al final de cada capítulo.
|
| 504 |
|
|
|a Lecturas sugeridas pp. 167-168
|
| 504 |
|
|
|a Bibliografía pp. 183-184.
|
| 504 |
|
|
|a Índice analítico de materias.
|
| 505 |
0 |
0 |
|t Part I - Logic, sets, and numbers
|
| 505 |
0 |
0 |
|g Chapter1
|t Firs-order logic
|
| 505 |
0 |
0 |
|g Chapter2
|t Logical Seeing
|
| 505 |
0 |
0 |
|g Chapter3
|t What is a Number?
|
| 505 |
0 |
0 |
|g Chapter4
|t Seeing the Number Structures
|
| 505 |
0 |
0 |
|g Chapter5
|t Points, Lines, and the structure of
|
| 505 |
0 |
0 |
|g Chapter6
|t Set Theory
|
| 505 |
0 |
0 |
|t Part II - Relations, structures, geometry
|
| 505 |
0 |
0 |
|g Chapter7
|t Relations
|
| 505 |
0 |
0 |
|g Chapter8
|t Definable Elements and Constants
|
| 505 |
0 |
0 |
|g Chapter9
|t Minimal and Order-Minimal Structures
|
| 505 |
0 |
0 |
|g Chapter10
|t Geometry of Definable Sets
|
| 505 |
0 |
0 |
|g Chapter11
|t Where Do Structures Come From?
|
| 505 |
0 |
0 |
|g Chapter12
|t Elementary Extensions and Symmetries
|
| 505 |
0 |
0 |
|g Chapter13
|t Tame vs. Wild
|
| 505 |
0 |
0 |
|g Chapter14
|t First-order Properties
|
| 505 |
0 |
0 |
|g Chapter15
|t Symmetries and Logical Visibility One More Time
|
| 650 |
1 |
7 |
|2 tesamat
|a LOGICA SIMBOLICA Y MATEMATICA
|
| 650 |
1 |
7 |
|2 tesamat
|a MODELOS, TEORIA DE
|
| 962 |
|
|
|a info:ar-repo/semantics/libro
|a info:eu-repo/semantics/book
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 89956
|