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...
Uloženo v:
| Hlavní autor: | Kossak, Roman (Autor) |
|---|---|
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing,
2018.
|
| Vydání: | 1st ed. 2018. |
| Edice: | Springer Graduate Texts in Philosophy,
3 |
| Témata: | |
| ISBN: | 9783319972985 |
| ISSN: | 2627-6046 ; |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Načítá se…
Larisa Maksimova on Implication, Interpolation, and Definability
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
Autor: Park, Woosuk
Vydáno: (2018)
Autor: Park, Woosuk
Vydáno: (2018)
Načítá se…
Hilary Putnam on Logic and Mathematics
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Ewa Orłowska on Relational Methods in Logic and Computer Science
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydáno: (2018)
Autor: Dalla Chiara, Maria Luisa
Vydáno: (2018)
Načítá se…
Truth, Existence and Explanation FilMat 2016 Studies in the Philosophy of Mathematics /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
Autor: Martino, Enrico
Vydáno: (2018)
Autor: Martino, Enrico
Vydáno: (2018)
Načítá se…
Philosophical and Mathematical Logic
Autor: de Swart, Harrie
Vydáno: (2018)
Autor: de Swart, Harrie
Vydáno: (2018)
Načítá se…
Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
Autor: Rahman, Shahid
Vydáno: (2018)
Autor: Rahman, Shahid
Vydáno: (2018)
Načítá se…
The Lvov-Warsaw School. Past and Present
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
The Philosophers and Mathematics Festschrift for Roshdi Rashed /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
The Hyperuniverse Project and Maximality
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
The Philosophy of Logical Atomism A Centenary Reappraisal /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)
Autor: Iacona, Andrea
Vydáno: (2018)
Načítá se…
Great Circle of Mysteries Mathematics, the World, the Mind /
Autor: Gromov, Misha
Vydáno: (2018)
Autor: Gromov, Misha
Vydáno: (2018)
Načítá se…
New Essays on Frege Between Science and Literature /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Contradictions, from Consistency to Inconsistency
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Exploring Meinong's Jungle and Beyond The Sylvan Jungle - Volume 1 /
Autor: Routley, Richard
Vydáno: (2018)
Autor: Routley, Richard
Vydáno: (2018)
Načítá se…
Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
Autor: Abrusci, Vito Michele
Vydáno: (2018)
Autor: Abrusci, Vito Michele
Vydáno: (2018)
Načítá se…
Technology and Mathematics Philosophical and Historical Investigations /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
A History of Folding in Mathematics Mathematizing the Margins /
Autor: Friedman, Michael
Vydáno: (2018)
Autor: Friedman, Michael
Vydáno: (2018)
Načítá se…
Truth-Seeking by Abduction
Autor: Niiniluoto, Ilkka
Vydáno: (2018)
Autor: Niiniluoto, Ilkka
Vydáno: (2018)
Načítá se…
Contextualism, Factivity and Closure A Union That Should Not Take Place? /
Autor: Leardi, Stefano
Vydáno: (2018)
Autor: Leardi, Stefano
Vydáno: (2018)
Načítá se…
Fuzzy Lie Algebras
Autor: Akram, Muhammad
Vydáno: (2018)
Autor: Akram, Muhammad
Vydáno: (2018)
Načítá se…
Structures and Algorithms Mathematics and the Nature of Knowledge /
Autor: Fenstad, Jens Erik
Vydáno: (2018)
Autor: Fenstad, Jens Erik
Vydáno: (2018)
Načítá se…
Ludwig Wittgenstein's Philosophical Investigations An Attempt at a Critical Rationalist Appraisal /
Autor: Agassi, Joseph
Vydáno: (2018)
Autor: Agassi, Joseph
Vydáno: (2018)
Načítá se…
Introduction to Formal Philosophy
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Methods of Solving Number Theory Problems
Autor: Grigorieva, Ellina
Vydáno: (2018)
Autor: Grigorieva, Ellina
Vydáno: (2018)
Načítá se…
Algebraic Methods in General Rough Sets
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Cellular Automata A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Nothing To Come A Defence of the Growing Block Theory of Time /
Autor: Correia, Fabrice
Vydáno: (2018)
Autor: Correia, Fabrice
Vydáno: (2018)
Načítá se…
The Map and the Territory Exploring the Foundations of Science, Thought and Reality /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Pluralisms in Truth and Logic
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions /
Autor: Buscema, Paolo Massimo
Vydáno: (2018)
Autor: Buscema, Paolo Massimo
Vydáno: (2018)
Načítá se…
Handbook of Philosophical Logic Volume 18 /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Building Theories Heuristics and Hypotheses in Sciences /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Topics in the Mathematical Modelling of Composite Materials
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Mathematical Structures and Applications In Honor of Mahouton Norbert Hounkonnou /
Vydáno: (2018)
Vydáno: (2018)
Podobné jednotky
-
Larisa Maksimova on Implication, Interpolation, and Definability
Vydáno: (2018) -
Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
Autor: Park, Woosuk
Vydáno: (2018) -
Hilary Putnam on Logic and Mathematics
Vydáno: (2018) -
Ewa Orłowska on Relational Methods in Logic and Computer Science
Vydáno: (2018) -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Vydáno: (2018)

