Gödel Without (Too Many) Tears
ISBN-13: 9781916906358