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

Models, Algebras, and Proofs

Xavier Caicedo & Carlos H. Montenegro
    • $349.99
    • $349.99

Publisher Description

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
Science & Nature
RELEASED
2021
27 February
LANGUAGE
EN
English
LENGTH
470
Pages
PUBLISHER
CRC Press
SELLER
Taylor & Francis Group
SIZE
229.1
MB

More Books Like This

Model Theory and the Philosophy of Mathematical Practice Model Theory and the Philosophy of Mathematical Practice
Model Theory and the Philosophy of Mathematical Practice
2018
Turing's Legacy Turing's Legacy
Turing's Legacy
2014
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

Other Books in This Series

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