First Order Logic (1968)

by R M Smullyan