The Work
Intended Models and Henkin Semantics
The details
The Author
Arturo Carsetti
The offers