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

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

Generalized Descriptive Set Theory and Classification Theory

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov - 2014 - 80 Seiten
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where ...
Eingeschränkte Leseprobe - Über dieses Buch

Fundamentals of stability theory

John T. Baldwin - 1988 - 447 Seiten
This new volume of the Ã-series is written as an introduction to first order stability theory. It is organized around the the spectrum problem: calculate the number of models a ...

Provability, Computability and Reflection

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




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