Mathematical logic : a course with exercises

著者

書誌事項

Mathematical logic : a course with exercises

René Cori and Daniel Lascar ; translated by Donald H. Pelletier

Oxford University Press, 2000-

タイトル別名

Logique mathématique

大学図書館所蔵 件 / 全1件

この図書・雑誌をさがす

関連文献： 2件中  1-2を表示

  • Recursion theory, Gödel's theorems, set theory, model theory

    René Cori and Daniel Lascar ; translated by Donald H. Pelletier

    Oxford University Press 2001 Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier pt. 2

    : hbk , : pbk

    所蔵館18館

  • Propositional calculus, Boolean algebras, predicate calculus

    René Cori and Daniel Lascar ; translated by Donald H. Pelletier

    Oxford University Press 2000 Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier pt. 1

    : hbk , : pbk

    所蔵館19館

詳細情報

ページトップへ