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

Axiom of Choice

Horst Herrlich - 2006 - 194 Seiten
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This ...
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

Finite Model Theory

Heinz-Dieter Ebbinghaus, Jörg Flum - 1999 - 360 Seiten
This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory that is, the connections between axiomatizability of ...
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

Mathematical Logic in the 20th Century

2003 - 693 Seiten
This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by ...
Eingeschränkte Leseprobe - Über dieses Buch

Propositional and Predicate Calculus: A Model of Argument

Derek Goldrei - 2005 - 315 Seiten
Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation ...
Eingeschränkte Leseprobe - Über dieses Buch




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