A first course in logic : an introduction in model theory, proof theory, computability, and complexity
著者
書誌事項
A first course in logic : an introduction in model theory, proof theory, computability, and complexity
(Oxford texts in logic, 1)
Oxford University Press, 2004
- : pbk
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [426]-427) and index