Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Anmelden
Books Die Bücher 1 - 10 von ungefähr 45 beziehen sich auf Models and Games.   

Dependence Logic: A New Approach to Independence Friendly Logic

Jouko Väänänen - 2007 - 225 Seiten
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first ...
Eingeschränkte Leseprobe - Über dieses Buch

Generalized Quantifiers and Computation: 9th European Summer School in Logic ...

Jouko Väänänen - 2003 - 139 Seiten
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence ...
Eingeschränkte Leseprobe - Über dieses Buch

Problems and Theorems in Classical Set Theory

Peter Komjath, Vilmos Totik - 2006 - 516 Seiten
This volume contains a variety of problems from classical set theory and represents the first comprehensive collection of such problems. Many of these problems are also related ...
Eingeschränkte Leseprobe - Über dieses Buch

Mathematical Logic and Model Theory: A Brief Introduction

Alexander Prestel, Charles Delzell - 2011 - 204 Seiten
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a ...
Eingeschränkte Leseprobe - Über dieses Buch

An Introduction to Stability Theory

Anand Pillay - 2013 - 160 Seiten
This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and ...
Eingeschränkte Leseprobe - Über dieses Buch

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers - 2008 - 388 Seiten
This book verifies with compelling evidence the author s inclination to 'write a book on proof theory which needs no previous knowledge of proof theory'. Avoiding the cryptic ...
Eingeschränkte Leseprobe - Über dieses Buch

A Course on Set Theory

Ernest Schimmerling - 2011
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so ...
Eingeschränkte Leseprobe - Über dieses Buch

The Evolution of Logic

W. D. Hart - 2010
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the ...
Eingeschränkte Leseprobe - Über dieses Buch

A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg - 2006 - 274 Seiten
Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the ...
Eingeschränkte Leseprobe - Über dieses Buch




  1. Meine Bücher
  2. Hilfe
  3. Erweiterte Buchsuche