title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Dependence Logic: A New Approach to Independence Friendly Logic | Paperback | 978-0-521-70015-3 | 2007 | ||
Dependence Logic: A New Approach to Independence Friendly Logic | Hardcover | 978-0-521-87659-9 | 2007 | ||
Dependence Logic: Theory and Applications | Paperback | 978-3-319-81123-9 | 2018 | Samson Abramsky · Juha Kontinen · Heribert Vollmer | |
Dependence Logic: Theory and Applications | Gebunden | 978-3-319-31801-1 | 2016 | Samson Abramsky · Juha Kontinen · Heribert Vollmer | |
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, ... 9th | Taschenbuch | 978-3-540-66993-7 | 2000 | ||
Logic Colloquium '03 | Digital | 978-1-108-58714-3 | 2020 | Viggo Stoltenberg-Hansen | |
Logic Colloquium '03: Proceedings of the Annual European Summer | Paperback | 978-1-56881-294-6 | 2006 | " | |
Logic Colloquium '90: ASL Summer Meeting in Helsinki | Taschenbuch | 978-3-540-57094-3 | 1993 | Juha M.R. Oikkonen | |
Logic Colloquium 2006 | Printed Access Code | 978-0-511-60532-1 | 2010 | Professor S. Barry Cooper · Herman Geuvers · Anand Pillay | |
Logic Colloquium 2006 | Hardcover | 978-0-521-11081-5 | 2009 | S. Barry Cooper · Herman Geuvers · Anand Pillay | |
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings | Taschenbuch | 978-3-662-52920-1 | 2016 | Åsa Hirvonen · Ruy de Queiroz | |
Models and Games | Hardcover | 978-0-521-51812-3 | 2011 |
A K Peters/CRC Press · Cambridge University Press · Springer