| Jindrich Zapletal - Mathematics - 2008
Descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other. This monograph unites them and explores the ... | |
| Shashi Mohan Srivastava - Mathematics - 2008 - 150 pages
This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional ... | |
| Sergei Odintsov - Philosophy - 2008 - 242 pages
Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong ... | |
| J. Flum, M. Grohe - Computers - 2006 - 495 pages
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It ... | |
| Witold A. Pogorzelski, Piotr Wojtylak - Mathematics - 2008 - 178 pages
This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional ... | |
| Ulrich Kohlenbach - Mathematics - 2008 - 536 pages
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers ... | |
| Bernd Sturmfels - Mathematics - 2008 - 197 pages
This book is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory ... | |
| Razvan Diaconescu - Mathematics - 2008 - 376 pages
This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ‘institution theory ... | |
| S. Shapiro - Mathematics - 1985 - 229 pages
``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is ... | |
| S. Shelah - Mathematics - 1990 - 740 pages
In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new ... | |
| |