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

Logic Colloquium 2004

Alessandro Andretta, Keith Kearnes, Domenico Zambella - 2008 - 220 Seiten
A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium.
Eingeschränkte Leseprobe - Über dieses Buch

Logic Colloquium 2006

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen - 2009 - 373 Seiten
The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.
Eingeschränkte Leseprobe - Über dieses Buch

Provability, Computability and Reflection

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

The Axiom of Choice

Thomas J. Jech - 2013 - 224 Seiten
Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and consequences of the axiom of choice. Each chapter contains ...
Eingeschränkte Leseprobe - Über dieses Buch

Building Models by Games

Wilfrid Hodges - 2006 - 318 Seiten
This volume presents research by algebraists and model theorists in accessible form for advanced undergraduates or beginning graduate students studying algebra, logic, or model ...
Eingeschränkte Leseprobe - Über dieses Buch




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