Författare: Jouko Vaananen

Stöd
Samson Abramsky, Christopher Strachey Professor of Computing, Department of Computer Science, Oxford University, UK Juha Kontinen, Academy Research Fellow, Department of Mathematics and Statistics, Helsinki University, Finland Jouko Väänänen, Dean of the Faculty of Science and Professor,  Department of Mathematics and Statistics, Helsinki University, Finland; Professor, University of Amsterdam, The Netherlands Heribert Vollmer, Faculty of Electrical Engineering and Computer Science, Theoretical Computer Science Institute, University of Hannover, Germany




10 E-böcker av Jouko Vaananen

Samson Abramsky & Juha Kontinen: Dependence Logic
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 applications   …
PDF
Engelska
€53.49
Jouko Vaananen: Dependence Logic
PDF
Engelska
DRM
€65.07
Viggo Stoltenberg-Hansen & Jouko Vaananen: Logic Colloquium ’03
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 have been unavailable fo …
PDF
Engelska
DRM
€102.43
Jouko Vaananen: Models and Games
PDF
Engelska
DRM
€83.35
Jouko Vaananen: Generalized Quantifiers and Computation
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, France, in August 1997. The …
PDF
Engelska
DRM
€57.90
Asa Hirvonen & Ruy de Queiroz: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communi …
PDF
Engelska
DRM
€57.90