title | media type | | ISBN-13 | year of publica- tion | other author(s) |
Computational Semantics with Functional Programming | Paperback | | 978-0-521-75760-7 | 2010 |
Computational Semantics with Functional Programming | Hardcover | | 978-0-521-76030-0 | 2010 | Christina Unger |
Games, Actions, and Social Software: Multidisciplinary Aspects | Taschenbuch | | 978-3-642-29325-2 | 2012 | Rineke Verbrugge |
Logic and Information Flow | Hardcover | | 978-0-262-22047-7 | 1994 | Albert Visser |
Logic Colloquium '99 | Digital | | 978-1-108-58348-0 | 2020 | Vincent Van Oostrom · Albert Visser |
Logic Colloquium '99: Lecture Notes in Logic 17 | Hardcover | | 978-1-56881-199-4 | 2004 | Vincent Van Oostrom · Albert Visser |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings | Paperback | | 978-3-662-17938-3 | 2014 |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings | Taschenbuch | | 978-3-540-53686-4 | 2008 |
Quantifiers, Logic, and Language | Paperback | | 978-1-57586-000-8 | 1996 | Van der Does |
Quantifiers, Logic, and Language | Hardcover | | 978-1-57586-001-5 | 1996 | " |
The Haskell Road to Logic, Maths and Programming | Paperback | | 978-0-9543006-9-2 | 2012 | Kees Doets |