generated at
『層・圏・トポス』

1978/1/20
竹内外史 著

/mrsekut-book-4535781095

https://m-hiyama.hatenablog.com/entry/20090430/1241049766
檜山正幸氏の竹内さんの『層・圏・トポス』を読む人達へ


第１章　層

第２章　圏

第３章　トポス

第４章　直観論理

第５章　高階直観論理


#スクボ読書化した本