HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 1 of 1
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
bulletin (article)野村, 恭史分岐タイプと還元公理 : 『プリンキピア・マテマティカ』新旧両版の内的連関をめぐってRamified Types and the Axiom of Reducibility : Between the 1st and the 2nd Editions of Principia Mathematica北海道大学文学研究科紀要The Annual Report on Cultural Science15-Jul-2005
Showing results 1 to 1 of 1

 

Hokkaido University