NCID | DA02980340 |
名称(HDNG) | Ščedrov, Andrej, 1955- |
生没年(DATE) | 1955- |
から見よ(SF) | Scedrov, Andre, 1955- Scedrov, A |
注記(NOTE) | His Forcing and classifying topoi, 1984: CIP t.p. (Andrej Ščedrov) publ. info (b. 8/1/55) His Freyd's models for the independence of the axiom of choice, 1989 |
LCAID | 82214016 |