Models, Algebras, and Proofs Models, Algebras, and Proofs
Lecture Notes in Pure and Applied Mathematics

Models, Algebras, and Proofs

Xavier Caicedo und Carlos H. Montenegro
    • 219,99 €
    • 219,99 €

Beschreibung des Verlags

Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts.

GENRE
Wissenschaft und Natur
ERSCHIENEN
2021
27. Februar
SPRACHE
EN
Englisch
UMFANG
470
Seiten
VERLAG
CRC Press
GRÖSSE
229,1
 MB

Mehr ähnliche Bücher

Foundational Theories of Classical and Constructive Mathematics Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathematics
2011
Institution-independent Model Theory Institution-independent Model Theory
Institution-independent Model Theory
2008
Reflections on the Foundations of Mathematics Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
2019
Introduction to Mathematical Logics Introduction to Mathematical Logics
Introduction to Mathematical Logics
2022
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2011
Model Theory and Applications Model Theory and Applications
Model Theory and Applications
2011

Andere Bücher in dieser Reihe

partial differential equation methods in control and shape analysis partial differential equation methods in control and shape analysis
partial differential equation methods in control and shape analysis
1997
Control of Partial Differential Equations Control of Partial Differential Equations
Control of Partial Differential Equations
1994
Differential Equations Differential Equations
Differential Equations
1990
Commutative Ring Theory and Applications Commutative Ring Theory and Applications
Commutative Ring Theory and Applications
2017
Mathematical Models and Methods for Real World Systems Mathematical Models and Methods for Real World Systems
Mathematical Models and Methods for Real World Systems
2005
Function Spaces Function Spaces
Function Spaces
2000