Harel, David
Dynamic logic - Cambridge, Mass MIT Press 2000 - 459
ГФ 17309
Англи хэл дээр,
0-262-08289-6
computer science mathematics logic computer logic
Dynamic logic - Cambridge, Mass MIT Press 2000 - 459
ГФ 17309
Англи хэл дээр,
0-262-08289-6
computer science mathematics logic computer logic