Time and logic: A calculus of binary eve
โ
H. Issendorff
๐
Article
๐
1995
๐
Springer Vienna
๐
English
โ 723 KB