Proofs and Algorithms: An Introduction to Logic and ComputabilityLogic is a branch of philosophy, mathematics and computer science. It studies …
Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. …
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a …
The representation theory of affine lie algebras has been developed in close connection with various areas of mathematics and mathematical …
The Duflo isomorphism first appeared in Lie theory and representation theory. It is an isomorphism between invariant polynomials of a …
This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical …
Professor Peter Hilton is one of the best known mathematicians of his generation. He has published almost 300 books and …
During 1996-97 MSRI held a full academic-year program on combinatorics, with special emphasis on its connections to other branches of …
Designed for a one-semester course in mathematics, this textbook presents a concise and practical introduction to commutative algebra in terms …
Created to teach students many of the most important techniques used for constructing combinatorial designs, this is an ideal textbook …
This volume assembles research papers in geometric and combinatorial group theory. This wide area may be defined as the study …
This book discusses the origin of graph theory from its humble beginnings in recreational mathematics to its modern setting or …
Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of …
The text begins with a review of group actions and Sylow theory. It includes semidirect products, the Schur-Zassenhaus theorem, the …
The solutions manual provides comprehensive yet elementary solutions to each of the 489 problems that appeared in the textbook. The …
Additive Combinatorics: A Menu of Research Problems is the first book of its kind to provide readers with an opportunity …
Written by two of Gian-Carlo Rota's former students, this book is based on notes from his courses and on personal …
This monograph provides a brief exposition of automorphic forms of weight 1 and their applications to arithmetic, especially to Galois …
This graduate textbook offers an introduction to modern methods in number theory. It gives a complete account of the main …
This volume concludes the second edition of the standard text on design theory. Since the first edition there has been …
Pattern Theory provides a comprehensive and accessible overview of the modern challenges in signal, data, and pattern analysis in speech …
This monograph presents a comprehensive treatment of important new ideas on Dirac operators and Dirac cohomology. Dirac operators are widely …
Graph Theory has proved to be an extremely useful tool for solving combinatorial problems in such diverse areas as Geometry, …