Extensions of first-order logic paperback