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

Finite Model Theory

Heinz-Dieter Ebbinghaus, Jörg Flum - 2005 - 360 Seiten
This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Eingeschränkte Leseprobe - Über dieses Buch

Independence-Friendly Logic: A Game-Theoretic Approach

Allen L. Mann, Gabriel Sandu, Merlijn Sevenster - 2011
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic ...
Eingeschränkte Leseprobe - Über dieses Buch

Proceedings of the 10Th Asian Logic Conference

Toshiyasu Arai - 2009 - 405 Seiten
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries ...
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

Quantifiers: Logics, Models and Computation: Volume One: Surveys

Michal Krynicki, M. Mostowski, L.W. Szczerba - 2013 - 424 Seiten
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern ...
Eingeschränkte Leseprobe - Über dieses Buch




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