About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
Previous
|
Up
|
Next
DML-CZ Home
Kybernetika
Volume 16
Author: Kalášek, Pavel
Hájek, Petr; Kalášek, Pavel; Kůrka, Petr
:
O dynamické logice
.
(Czech) [On dynamic logic].
Kybernetika
,
vol. 16 (1980), issue 7
,
pp. (1),3-41
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of