Repository | Directory | Profile
Kazimierz Trzęsicki
Tomorrow's sea-battle and the beginning of temporal logic
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Łukasiewiczian logic of tenses and the problem of determinism
1989
in: The Vienna circle and the Lvov-Warsaw school, Dordrecht : Springer