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

Models, Algebras, and Proofs

Xavier Caicedo 및 Carlos H. Montenegro
    • US$249.99
    • US$249.99

출판사 설명

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.

장르
과학 및 자연
출시일
2021년
2월 27일
언어
EN
영어
길이
470
페이지
출판사
CRC Press
판매자
Taylor & Francis Group
크기
229.1
MB

비슷한 책 더 보기

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년

이 시리즈의 다른 책

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년