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.   

Logic Colloquium '90

Juha Oikkonen, Jouko Väänänen - 2017
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series ...
Eingeschränkte Leseprobe - Über dieses Buch

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

Logic, Language, Information, and Computation: 23rd International Workshop ...

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz - 2016 - 447 Seiten
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language ...
Eingeschränkte Leseprobe - Über dieses Buch

Building Models by Games

Wilfrid Hodges - 2006 - 318 Seiten
This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic model theory and ...
Eingeschränkte Leseprobe - Über dieses Buch

Nonstandard Analysis for the Working Mathematician

Peter A Loeb, Manfred P. H. Wolff - 2015 - 481 Seiten
Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic and Its Applications

Andreas Blass, Yi Zhang - 2005 - 306 Seiten
Keine Leseprobe verfügbar - Über dieses Buch

Generalized Descriptive Set Theory and Classification Theory

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov - 2014 - 80 Seiten
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where ...
Eingeschränkte Leseprobe - Über dieses Buch




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