The Work
Labelled Deductive Systems, vol.1.
The details
The Author
Dov Gabbay
The offers