Normal view MARC view ISBD view

Dynamic Logic. New Trends and Applications

Luís Soares Barbosa, Alexandru Baltag

Dynamic Logic. New Trends and Applications - Springer Springer 2020

ISBN: 9783030388089

Source: EBOOK