Springer · Wydawnictwo Uniwersytetu Jagiellonskiego
title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
---|---|---|---|
Deductive Systems and the Decidability Problem for Hybrid Logics | 978-83-233-3695-2 (83-233-3695-4) | 2014 | |
Ewa Orlowska on Relational Methods in Logic and Computer Science | 978-3-319-97878-9 (3-319-97878-0) | 2018 | Joanna Golińska-Pilarek |
Michael Zaddach · Michael Zaudig · Michael Zeitz · Michael Zitz · Michael Zywietz · Michal Zawadka · Michal Zawadzki · Michal Zytka · Mikola ZHyhotski