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

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

Michal Krynicki, M. Mostowski, L.W. Szczerba - 1995 - 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 ...

Introduction to Model Theory

Philipp Rothmaler - 2000 - 324 Seiten
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic and Algebra

Yi Zhang - 2002 - 285 Seiten
This volume outlines current developments in model theory and combinatorial set theory and presents state-of-the-art research. Well-known researchers report on their work in ...
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




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