The Work
Second-Order Logic
The details
The Author
John Corcoran
The offers
