| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| An algebraic approach to non-classical logics | | 978-0-7204-2264-1 | 1974 |
| Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, ... Notes in Computer Science, Band 9139) | | 978-3-319-20296-9 | 2015 | Daniil V. Musatov |
| Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | | 978-3-319-23533-2 | 2015 | Andreas Blass · Nachum Dershowitz · Bernd Finkbeiner · Wolfram Schulte |
| Handbook of Mathematical Logic, Volume 90 | | 978-0-7204-2285-6 | 1977 |
| Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings | | 978-3-642-20919-2 | 2011 | Ruy de Queiroz |
| Provability, Computability and Reflection, Volume 44 | | 978-0-8047-0096-2 | 1966 |
| Provability, Computability and Reflection, Volume 49 | | 978-0-444-53413-2 | 1968 |
| Provability, Computability and Reflection, Volume 52 | | 978-0-444-53416-3 | 1968 |
| Provability, Computability and Reflection, Volume 60 | | 978-0-7204-2257-3 | 1970 |
| Provability, Computability and Reflection, Volume 61 | | 978-0-7204-2261-0 | 1971 |
| Provability, Computability and Reflection, Volume 62 | | 978-0-7204-2258-0 | 1971 |
| Provability, Computability and Reflection, Volume 65 | | 978-0-7204-2208-5 | 1972 |
| Provability, Computability and Reflection, Volume 68 | | 978-0-7204-2269-6 | 1973 |
| Provability, Computability and Reflection, Volume 69 | | 978-0-7204-2065-4 | 1972 |
| Provability, Computability and Reflection, Volume 76 | | 978-0-444-10535-6 | 1974 |
| Provability, Computability and Reflection, Volume 77 | | 978-0-444-10537-0 | 1974 |
| Provability, Computability and Reflection, Volume 82 | | 978-0-7204-2282-5 | 1975 |
| Provability, Computability and Reflection, Volume 83 | | 978-0-444-10622-3 | 1975 |
| Provability, Computability and Reflection, Volume 84 | | 978-0-7204-2284-9 | 1976 |
| Provability, Computability and Reflection, Volume 87 | | 978-0-7204-0691-7 | 1977 |
| Provability, Computability and Reflection, Volume 88 | | 978-0-7204-2286-3 | 1978 |
| Provability, Computability and Reflection, Volume 98 | | 978-0-444-85207-6 | 1979 |
| Provability, Computability and Reflection, Volume 102 | | 978-0-444-85401-8 | 1980 |
| Provability, Computability and Reflection, Volume 154 | | 978-0-444-52040-1 | 2010 |