ミルカさんの読んでいた本を推理する（手がかり求む）

『数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)』の5.3.1でミルカさんが読んでいた本は何か、推理を試みました。

洋書であることと題名が "Gödel's incompleteness theorems" であることから、Amazonで検索して、二冊に絞ることができました。

Godel's Incompleteness Theorems (Oxford Logic Guides)

Godel's Incompleteness Theorems

ここから絞り込む手がかりがみつけられません。Smullyan本のほうがミルカさんらしいような気がしますが、決め手がありません。手がかり探しにご協力をお願いします。

なお、手がかりは著作にはあるが著者にはないものとするのが、シャーロキアンのお約束です。「知らないふりゲーム」ということで。