Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
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
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

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

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

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

Infinitary Logic: In Memoriam Carol Karp

D. W. Kueker - 2006 - 208 Seiten
A Collection of Papers by Varoius Authors
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

Mathematical Logic: A Course with Exercises. Recursion theory, Gödel's ...

René Cori, Daniel Lascar - 2001 - 331 Seiten
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge ...
Eingeschränkte Leseprobe - Über dieses Buch

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