東大出版から出た「記号論理学入門」ってどうなん?