Valentin Goranko

No bio available. Add one in Open Library.

Books by Valentin Goranko (50 max)

+ shelf+ list

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

2015

Willem Conradie, Valentin Goranko

+ shelf+ list

Logic As a Tool A Concise Guide to Logical Reasoning

2016

Valentin Goranko

+ shelf+ list

Temporal Logics

2023

Valentin Goranko

+ shelf+ list

Temporal Logics in Computer Science Finite-State Systems

2016

Stéphane Demri, Valentin Goranko, Martin Lange

+ shelf+ list

Temporal Logics in Computer Science - Classical Theory

2016

Stéphane Demri, Valentin Goranko, Martin Lange