Andrzej M. BorzyszkowskiAndrzej M.
	Borzyszkowski
Logiki temporalne
Zadanie.
Do góry