Theories of Computability
This book gives an introduction to theories of computability from a mathematically sophisticated...
EAN: 9780521553803
Logical Status of Diagrams
Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have...
EAN: 9780521461573
Sets of Multiples
The theory of sets of multiples, a subject which lies at the intersection of analytic and...
EAN: 9780521404242
Notre Dame Lectures
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G
EAN: 9781568812496
Free Choice Petri Nets
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent...
EAN: 9780521019453
Extensions of First-Order Logic
Classical logic has proved inadequate in various areas of computer science, artificial...
EAN: 9780521019026
Combinatorial Rigiditiy
The combinatorial aspects of rigidity are isolated and framed in terms of a special class of...
EAN: 9780821838013
Surveys in Combinatorics, 1999
The British Combinatorial Conference is one of the most well known meetings for...
EAN: 9780521653763
Analysis and Logic
This volume comprises articles from four outstanding researchers who work at the cusp of analysis...
EAN: 9780521648615
Stable Groups
In this book, the general theory of stable groups is developed from the beginning, concentrating...
EAN: 9780521598392
Tame Topology and O-minimal Structures
These notes give a self-contained treatment of the theory of o-minimal structures from a...
EAN: 9780521598385
Computability, Enumerability, Unsolvability
The fundamental ideas concerning computation and recursion naturally find their place at the...
EAN: 9780521557368
Higher Operads, Higher Categories
Higher-dimensional category theory draws its inspiration from areas as diverse as topology,...
EAN: 9780521532150
Godel's Theorem
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this...
EAN: 9781568812380
Petersen Graph
The authors examine various areas of graph theory, using the prominent role of the Petersen graph...
EAN: 9780521435949
Multiple Forcing
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in...
EAN: 9780521266598
Logical Dilemmas
This authoritative biography of Kurt Goedel relates the life of this most important logician of...
EAN: 9781568812564
Set Theory, Logic and their Limitations
Rigorous coverage of logic and set theory for students of mathematics and philosophy.
EAN: 9780521479981
Locally Presentable and Accessible Categories
The aim of this book is to provide an exposition of both the theory and the applications of these...
EAN: 9780521422611
Graphs, Codes and Designs
This book is concerned with the relations between graphs, error-correcting codes and designs, in...
EAN: 9780521231411
Tits Buildings and the Model Theory of Groups
This book provides a general introduction to Tits buildings, their geometries and the related...
EAN: 9780521010634
Cellular Automata And Complexity
These original papers on cellular automata and complexity, some of which are widely known in the...
EAN: 9780201626643
Basic Proof Theory
This is an introduction to the basic ideas of structural proof theory. For the new edition, many...
EAN: 9780521779111
