>>662
数理論理学―使い方と考え方:超準解析の入口まで
江田 勝哉
なら、アマゾンレビューで色々間違いが指摘されてるね