Title: Notes on logic (Van Nostrand mathematical studies #6)