Definability and forcing in E-Recursion

書誌事項

Definability and forcing in E-Recursion

by E.R. Griffor

(Preprint series, . Mathematics ; no. 6)

Universitetet i Oslo, Matematisk institutt, 1982

この図書・雑誌をさがす
関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA28247397
  • ISBN
    • 8255304819
  • 出版国コード
    no
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [Oslo]
  • ページ数/冊数
    41 leaves
  • 大きさ
    30 cm
  • 親書誌ID
ページトップへ