Valentin F. Goranko · Valentin Goranko , Martin Lange Stéphane Demri · Valentina Grenchuk · Valentina Grumezescu
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers | 978-3-642-03091-8 | 2010 | Margaret Archibald · Vasco Brattka · Benedikt Löwe | |
| Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes | 978-3-642-31484-1 | 2012 | Nick Bezhanishvili | |
| Logic and Discrete Mathematics: A Concise Introduction | 978-1-118-75127-5 | 2015 | Willem Conradie | |
| Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual | 978-1-118-76267-7 | 2015 | Willem Conradie · Claudette Robinson | |
| Logic as a Tool: A Guide to Formal Logical Reasoning | 978-1-118-88000-5 | 2016 | ||