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 , set (abstract data type) , pure mathematics , computer science , programming language
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom