Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop th...
Κύριος συγγραφέας: | Kossak, Roman (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Springer Graduate Texts in Philosophy,
3 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
ανά: Martino, Enrico, κ.ά.
Έκδοση: (2018) -
New Essays on Frege Between Science and Literature /
Έκδοση: (2018) -
Larisa Maksimova on Implication, Interpolation, and Definability
Έκδοση: (2018) -
The Philosophers and Mathematics Festschrift for Roshdi Rashed /
Έκδοση: (2018) -
Truth, Existence and Explanation FilMat 2016 Studies in the Philosophy of Mathematics /
Έκδοση: (2018)