Mathematical LogicH. D. Ebbinghaus, J. Flum, Wolfgang Thomas · First published 1984 · Latest edition 2013Open the Tome