#メモ Smullyanの初等形式体系
「述語論理」を「1階論理」と呼ぶようになったのはSmullyanの"First Order Logic"(1969)の功績によるものが大きいらしい（『スマリヤン 数理論理学講義 下巻』の監訳者あとがきによれば）
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
