Logic and Computation
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF...
EAN: 9780521395601
Categories for the Working Mathematician
Categories for the Working Mathematician provides an array of general ideas useful in a wide...
EAN: 9780387984032
Model Theory, Algebra, and Geometry
Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and...
EAN: 9780521780681
Metalogic
Provides readers with complete proofs of the fundamental metatheorems of standard (that is,...
EAN: 9780520023567
From Trotsky to Godel
This story of a highly intelligent observer of the turbulent 20th century who was intimately...
EAN: 9781568811482
Notes on Logic and Set Theory
Suitable for mathematics undergraduates, this title is based on lectures given at the University...
EAN: 9780521336925
Set Theory and Logic
Explores sets and relations, the natural number sequence and its generalization, extension of...
EAN: 9780486638294
Schaum's Outline of Set Theory and Related Topics
Schaum's Outlines present all the essential course information in an easy-to-follow,...
EAN: 9780070381599
Introduction to Mathematical Reasoning
This book introduces the basic ideas of mathematical proof to students embarking on university...
EAN: 9780521597180
Network Flows and Matching
The DIMACS Implementation Challenge was organized to encourage experimental work in the area of...
EAN: 9780821865989
Model Theory
Model theory is concerned with the notions of definition, interpretation and structure in a very...
EAN: 9780521304429
Set Theory An Introduction To Independence Proofs
EAN: 9780444868398
Principles of Mathematics Revisited
This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic...
EAN: 9780521624985
Combinatorics
This volume is a record of the papers presented to the fourth British Combinatorial Conference...
EAN: 9780521204545
Handbook of Categorical Algebra: Volume 3, Sheaf Theory
The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of...
EAN: 9780521441803
To Mock a Mockingbird: and Other Logic Puzzles
In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of...
EAN: 9780192801425
Logic, Induction and Sets
This is an introduction to logic and the axiomatization of set theory from a unique standpoint....
EAN: 9780521533614
Temporal Logic: Volume 2
Mathematical logic is an area of interest to workers in philosophy and computer science as well...
EAN: 9780198537687
Proof Theory
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer...
EAN: 9780521414135
Georg Cantor
One of the greatest revolutions in mathematics occurred when Georg Cantor promulgated his theory...
EAN: 9780691024479
Group Representations Summer Research Institute on Cohomology, Representations, and Actions of Finite Groups, July 7-27, 1996, University of Washingto
Features contributions in topology and representation theory that reflect the vigorous...
EAN: 9780821806586
Belief Revision in Non-Classical Logics
however, classical belief revision is not well suited for logics such as Description...
EAN: 9781447141853
Spectral Generalizations of Line Graphs
This work discusses the three major techniques for the study of line graphs and generalized line...
EAN: 9780521836630