Roman Kuznets

R.K.

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Logics of Proofs and Justifications978-1-8489O-168-1
(1-8489O-168-2)
2019Thomas Studer

Roman Kuznia