Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les

書誌事項

Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les

René Cori, Daniel Lascar ; préface de J.-L. Krivine

(Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine, . Logique mathématique : cours et execices ; v. 2)

Masson, c1993

  • :pbk

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Bibliograpie: p. [323]-325

Includes notations, index

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA23166990
  • ISBN
    • 2225840806
  • 出版国コード
    fr
  • タイトル言語コード
    fre
  • 本文言語コード
    fre
  • 出版地
    Paris
  • ページ数/冊数
    xv, 347 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ