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.   

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

Building Models by Games

Wilfrid Hodges - 2006 - 318 Seiten
This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic model theory and ...
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

A Shorter Model Theory

Wilfrid Hodges - 1997 - 310 Seiten
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard ...
Eingeschränkte Leseprobe - Über dieses Buch

Lectures on Infinitary Model Theory

David Marker - 2016
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is ...
Eingeschränkte Leseprobe - Über dieses Buch




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