Boolos, George Logic, Logic and Logic - London George Books 1999 - ix, 443p,: ISBN: 067453767X LC Class. No.: BC 51 / .B63 1999