Notes on logic - Lyndon, Roger C. (Princeton D Van Nostrand co., 1966)
Bibliography :P.91-92