A profile of mathematical logic
Delong, Howard.
Reading (Mass.) London Addison-Wesley
1970
bibl p259-283
Logic, Symbolic and mathematical.