Open AccessHeyting valued set theory and fibre bundles
Author(s) -
Hirokazu Nishimura
Publication year - 1988
Publication title -
publications of the research institute for mathematical sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.786
H-Index - 39
eISSN - 1663-4926
pISSN - 0034-5318
DOI - 10.2977/prims/1195175197
Subject(s) - mathematics , vector bundle , pure mathematics , bundle , fiber bundle , space (punctuation) , set (abstract data type) , topology (electrical circuits) , manifold (fluid mechanics) , combinatorics , computer science , mechanical engineering , materials science , engineering , composite material , programming language , operating system