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
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

Dependence Logic: Theory and Applications

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - 2016 - 276 Seiten
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also ...
Eingeschränkte Leseprobe - Über dieses Buch

Axiom of Choice

Horst Herrlich - 2006 - 194 Seiten
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This ...
Eingeschränkte Leseprobe - Über dieses Buch

Provability, Computability and Reflection

Lev D. Beklemishev - 2000 - 463 Seiten
Provability, Computability and Reflection
Eingeschränkte Leseprobe - Über dieses Buch

Model Theory

María Manzano - 1999 - 239 Seiten
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic ...
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