Back

Title
  • ja 分岐タイプと還元公理 : 『プリンキピア・マテマティカ』新旧両版の内的連関をめぐって
  • en Ramified Types and the Axiom of Reducibility : Between the 1st and the 2nd Editions of Principia Mathematica
Creator
Accessrights open access
Subject
  • NDC 910
Publisher ja 北海道大学文学研究科 en The Faculty of Letters, Hokkaido University
Date
    Issued2005-07-15
Language
  • jpn
Resource Type departmental bulletin paper
Version Type VoR
Identifier HDL http://hdl.handle.net/2115/34090
Journal
    • PISSN 1346-0277
    • NCID AA11482667
      • ja 北海道大学文学研究科紀要 en The Annual Report on Cultural Science
      • Volume Number116 Page Start1 Page End24
File
Oaidate 2023-07-26