First-Order Logic (1968)

by R Smullyan