First-Order Logic Revisited

Paperback