Aimed at graduate students and research logicians and mathematicians, this much-awaited text cove...