Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 48 related to Logic, Methodology and Philosophy of Science VIII.   

Forcing Idealized

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 ...
Limited preview - About this book

A Course on Mathematical Logic

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 ...
Limited preview - About this book

Constructive Negations and Paraconsistency

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 ...
Limited preview - About this book

Parameterized Complexity Theory

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 ...
Limited preview - About this book

Completeness Theory for Propositional Logics

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 ...
Limited preview - About this book

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

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 ...
Limited preview - About this book

Algorithms in Invariant Theory

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 ...
Limited preview - About this book

Institution-independent Model 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 ...
Limited preview - About this book

Intensional Mathematics

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 ...
Limited preview - About this book

Classification Theory: and the Number of Non-Isomorphic Models

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 ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search