Shorter Model Theory
This is an up-to-date textbook of model theory taking the reader from first definitions to...
EAN: 9780521587136
Algebraic Set Theory
Offers a new, algebraic, approach to set theory. The authors introduce a particular kind of...
EAN: 9780521558303
Logic of Provability
This book, written by one of the most distinguished of contemporary philosophers of mathematics,...
EAN: 9780521483254
Basic Simple Type Theory
This book introduces and teaches the techniques of type theory by focusing on one particularly...
EAN: 9780521465182
First Steps in Modal Logic
This is a first course in propositional modal logic, suitable for mathematicians, computer...
EAN: 9780521464826
Categories for Types
This textbook explains the basic principles of categorical type theory and the techniques used to...
EAN: 9780521457019
Logic for Mathematicians
This is an introductory textbook which is designed to be useful not only to intending logicians...
EAN: 9780521368650
Introduction to Higher-Order Categorical Logic
In this book the authors reconcile two different viewpoints of the foundations of mathematics,...
EAN: 9780521356534
Practical Foundations of Mathematics
This book is about the basis of mathematical reasoning both in pure mathematics itself...
EAN: 9780521631075
Groups of Finite Morley Rank
'Oxford Logic Guide provides comprehensive coverage of a new research area in algebra and model...
EAN: 9780198534457
Logic
If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily...
EAN: 9780141003146
Design Theory: Volume 2
This is the concluding volume of the second edition of the standard text on design theory. It is...
EAN: 9780521772310
Classic Set Theory
Designed for undergraduate students of set theory, this book presents a modern perspective of the...
EAN: 9780412606106
Naive Set Theory
Every mathematician agrees that every mathematician must know some set theory; The purpose of the...
EAN: 9780387900926
Set Theory
This is a classic introduction to set theory in three parts. The first part gives a general...
EAN: 9780521596671
Hidden Order
Explains how scientists who study complexity are convinced that certain constant processes are at...
EAN: 9780201442304
2000 Solved Problems in Discrete Mathematics
Gives you 2,000 problems in discrete mathematics. This guide helps you to master various types of...
EAN: 9780070380318
Categorical Foundations
The book gives a categorical introduction to some of the key areas of modern mathematics....
EAN: 9780521834148
Introduction to Lattices and Order
The explosive development of theoretical computer science in recent years has influenced this new...
EAN: 9780521784511
Completeness and Basis Properties of Sets of Special Functions
This tract presents an exposition of methods for testing sets of special functions for...
EAN: 9780521604888
Iterative Solution Methods
This book deals primarily with the numerical solution of linear systems of equations by iterative...
EAN: 9780521555692
Bounded Arithmetic, Propositional Logic and Complexity Theory
An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on...
EAN: 9780521452052
Integer and Combinatorial Optimization
Discrete optimization models are used to tackle a wide variety of problems in many fields,...
EAN: 9780471359432