Mathemagician and Pied Puzzler
An imaginative collection of pieces created in tribute to Martin Gardner. Best known for his...
EAN: 9781568810751
Quantifiers, Propositions and Identity
Develops new semantical characterisations of many logical systems with quantification that are...
EAN: 9781107010529
Simple Theories and Hyperimaginaries
This book is a self-contained, up-to-date introduction to simple theories and the model theory of...
EAN: 9780521119559
Set Theory for the Working Mathematician
This text concentrates on the typical methods of modern set theory: transfinite induction, Zorn's...
EAN: 9780521594653
Oligomorphic Permutation Groups
The study of permutations groups has always been closely associated with that of highly symmetric...
EAN: 9780521388368
Numbers, Sets and Axioms
This work contains a description and discussion of the fundamental conceptual and formal...
EAN: 9780521287616
Surveys in Combinatorics, 1993
This volume comprises the invited lectures given at the 14th British Combinatorial Conference....
EAN: 9780521448574
Model Theory and Modules
The interplay between model theory and other branches of mathematics has led to intriguing...
EAN: 9780521348331
Introduction to Mathematical Reasoning
This book introduces the basic ideas of mathematical proof to students embarking on university...
EAN: 9780521592697
Metamathematics, Machines and Godel's Proof
Describes the use of computer programs to check several proofs in the foundations of mathematics.
EAN: 9780521585330
Mathematical Constants
Here Steven Finch provides 136 essays, each devoted to a mathematical constant or a class of...
EAN: 9780521818056
Triangulated Categories in the Representation of Finite Dimensional Algebras
This book is an introduction to the use of triangulated categories in the study of...
EAN: 9780521339223
Sets for Mathematics
In this book, first published in 2003, categorical algebra is used to build a foundation for the...
EAN: 9780521010603
New Perspectives in Algebraic Combinatorics
This book contains expository contributions by respected researchers on the rich combinatorial...
EAN: 9780521770873
Lie Groups, Lie Algebras, Cohomology and some Applications in Physics
Now in paperback, this book provides a self-contained introduction to the cohomology theory of...
EAN: 9780521597005
Categories for Types
This textbook explains the basic principles of categorical type theory and the techniques used to...
EAN: 9780521450928
Inexhaustibility: A Non-Exhaustive Treatment
Gödel's Incompleteness Theorems are among the most significant results in the foundation of...
EAN: 9781568811758
Cryptanalysis of Number Theoretic Ciphers
At the heart of modern cryptographic algorithms lies computational number theory. Written by a...
EAN: 9781584881537
DNA Based Computers II
Presents results from the second annual meeting on DNA computers held at Princeton. This work...
EAN: 9780821807569
Applications of Categories in Computer Science
Category theory is being increasingly applied to computer science. Participants at the symposium...
EAN: 9780521427265
Model Theory : An Introduction
Offers an introductory course in model theory emphasizing connections to algebra. This book is an...
EAN: 9780387987606
Advances in Linear Logic
This volume gives an overview of linear logic that will be useful to mathematicians and computer...
EAN: 9780521559614
Deduction
Offers a presentation of classical first-order logic. This book presents a truth tree system...
EAN: 9780631227137
