Barwise, Jon Handbook of mathematical logic Jon Barwise - - Elsevier B V 2006 - - . Subjects--Topical Terms: Mathematical logic-- Mathematics Dewey Class. No.: 511.3 BAR-H