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

Models, Algebras, and Proofs

Xavier Caicedo و Carlos H. Montenegro
    • ‏249٫99 US$
    • ‏249٫99 US$

وصف الناشر

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.

النوع
علم وطبيعة
تاريخ النشر
٢٠٢١
٢٧ فبراير
اللغة
EN
الإنجليزية
عدد الصفحات
٤٧٠
الناشر
CRC Press
البائع
Taylor & Francis Group
الحجم
٢٢٩٫١
‫م.ب.‬

المزيد من الكتب المشابهة

Model Theory and the Philosophy of Mathematical Practice Model Theory and the Philosophy of Mathematical Practice
Model Theory and the Philosophy of Mathematical Practice
٢٠١٨
Turing's Legacy Turing's Legacy
Turing's Legacy
٢٠١٤
Foundational Theories of Classical and Constructive Mathematics Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathematics
٢٠١١
Institution-independent Model Theory Institution-independent Model Theory
Institution-independent Model Theory
٢٠٠٨
Reflections on the Foundations of Mathematics Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
٢٠١٩
Introduction to Mathematical Logics Introduction to Mathematical Logics
Introduction to Mathematical Logics
٢٠٢٢

كتب أخرى بهذه السلسلة

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
١٩٩٧
Control of Partial Differential Equations Control of Partial Differential Equations
Control of Partial Differential Equations
١٩٩٤
Differential Equations Differential Equations
Differential Equations
١٩٩٠
Commutative Ring Theory and Applications Commutative Ring Theory and Applications
Commutative Ring Theory and Applications
٢٠١٧
Mathematical Models and Methods for Real World Systems Mathematical Models and Methods for Real World Systems
Mathematical Models and Methods for Real World Systems
٢٠٠٥
Function Spaces Function Spaces
Function Spaces
٢٠٠٠