News Mathematica No.433 メモ [趣味の数学]

純粋におれのためのマテマティカ新刊メモ。

Arlid Staubhaug, Sophus Lie: Une pensée audacieuse, Springer
こいつの元本。つか、翻訳も出ていた気がするんだが、探しても見つからない。

Horst Herrlich, The Axiom of Choice, Springer
んーこれ前に出てなかったけ？　つか、おれ、Jechのやつと勘違いしてるのかな……。何にせよ、そんなに高くもなさそうだし、買い、かな。

P. Komjath and V. Totik, Problems and Theorems in Classical Set Theory, Springer
集合論の問題と定理。これは多分買う。

Dag Prawitz, Natural Deduction: A Proof-theoretical Study, Dover
自然演繹の古典がついにDover入り。買う。

Robert Goldblatt, Topoi: The Categorial Analysis of Logic, Dover
News Mathematicaには載っていなかったけど、上のプラヴィッツの本について調べる過程で見つけた。絶対買う。

I. Burhan Turksen, An Ontological And Epsitomological Perspective Of Fuzzy Set Theory, Elsevier
んーもそっと安ければねえ。

Hermann Helbig, Knowledge Representation And the Semantics of Natural Language, Springer
これはちょっと面白そうなんじゃなくって？