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

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

Model Theory : An Introduction

David Marker - 2002 - 342 Seiten
This introductory course in model theory emphasizes connections to algebra and is designed both for graduate students interested in advanced work in model theory and for ...
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

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




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