At Sixes and Sevens
An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of...
EAN: 9780008491079
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
This book presents a set of historical recollections on the work of Martin Davis and his role in...
EAN: 9783319824437
Quantification Theory
Originally published in 1964. This book is concerned with general arguments, arguments that rely...
EAN: 9780367426118
Nondeductive Inference
Originally published in 1966. An introduction to studies of kinds of inference in which validity...
EAN: 9780367426057
Introduction to Many-valued Logics
Originally published in 1967. An introduction to the literature of nonstandard logic, in...
EAN: 9780367426040
(Mostly) Commutative Algebra
The topics introduced include arithmetic of rings, modules, especially principal ideal rings and...
EAN: 9783030615949
Model Theory of $\mathrm {C}^*$-Algebras
EAN: 9781470447571
Python Programming
Purposefully designed to be instantly applicable, PYTHON PROGRAMMING – A PRACTICAL APPROACH...
EAN: 9781032028491
Coarse Geometry of Topological Groups
This book provides a general framework for doing geometric group theory for non-locally-compact...
EAN: 9781108842471
Paradoxes and Inconsistent Mathematics
Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this...
EAN: 9781108834414
Algebraic Computability and Enumeration Models
This book presents new techniques with functorial models to address important areas on pure...
EAN: 9781774635759
Functorial Model Theory
This book is an introduction to a functorial model theory based on infinitary language...
EAN: 9781774633106
Introduction to Infinity-Categories
This textbook is an introduction to the theory of infinity-categories, a tool used in many...
EAN: 9783030615239
Complexity of Infinite-Domain Constraint Satisfaction
Introduces the universal-algebraic approach to the complexity classification of constraint...
EAN: 9781107042841
Computable Structure Theory
Computable structure theory studies the relative complexity of mathematical structures. Written...
EAN: 9781108423298
Divided Spheres
This well-illustrated book presents a thorough introduction to the mathematics of Buckminster...
EAN: 9780367680039
Development of Mathematical Logic
Originally published in 1962. This clear and simple account of the growth and structure of...
EAN: 9780367426248
Topics in Modern Logic
Originally published in 1973. This book is for philosophy students who have limited background in...
EAN: 9780367426224
Truth-Functional Logic
Originally published in 1962. This book presents the concepts and methods of a basic part of...
EAN: 9780367426125
Nature-Inspired Optimization Algorithms
The book is a lucid description of fifteen of the existing important optimization algorithms that...
EAN: 9780367503291
Algebra & Geometry
This book provides a bridge between high school and undergraduate mathematics courses on algebra...
EAN: 9780367563035
