First Order Logic (1971)

by R M Smullyan