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

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

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

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

Algebraic Theory of Quasivarieties

Viktor A. Gorbunov - 1998 - 298 Seiten
The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic and Its Applications

Andreas Blass, Yi Zhang - 2005 - 306 Seiten
Two conferences, Logic and Its Applications in Algebra and Geometry and Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, were held at the University of ...
Eingeschränkte Leseprobe - Über dieses Buch

Time Structures: Formal Description and Algorithmic Representation

Elzbieta Hajnicz - 1996 - 244 Seiten
The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for ...
Eingeschränkte Leseprobe - Über dieses Buch

A Course on Borel Sets

S.M. Srivastava - 1998 - 261 Seiten
A Course on Borel sets provides a thorough introduction to Borel sets and measurable selections and acts as a stepping stone to descriptive set theory by presenting important ...
Eingeschränkte Leseprobe - Über dieses Buch

A Guide to Classical and Modern Model Theory

Annalisa Marcja, Carlo Toffalori - 2003 - 369 Seiten
Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in ...
Eingeschränkte Leseprobe - Über dieses Buch




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