From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

著者

    • Crosilla, Laura
    • Schuster, Peter

書誌事項

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

edited by Laura Crosilla and Peter Schuster

(Oxford logic guides, 48)

Clarendon Press, 2005

大学図書館所蔵 件 / 15

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

  • NII書誌ID(NCID)
    BA7401200X
  • ISBN
    • 0198566514
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford
  • ページ数/冊数
    xix, 350 p.
  • 大きさ
    ill. ; 24 cm
  • 親書誌ID
ページトップへ