The Work
Handbook of Logic in Computer Science
The details
The Author
Dov Gabbay
The offers