Logical Foundations of Computer Science
-
häftad
,
Engelska, 1994