レイモンド・スマリヤンのFirst-Order Logicって本の和訳って出てますか？
知ってる方いたら教えてください。