京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Toposes)
該当件数:7件
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1992. - (Universitext)
図書
Model theory and topoi : a collection of lectures by various authors / edited by F.W. Lawvere, C. Maurer, G.C. Wraith
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 445)
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in mathematics ; 611)
Classifying spaces and classifying topoi / I. Moerdijk
: pbk. - Berlin ; New York : Springer , c1995. - (Lecture notes in mathematics ; 1616)
Algebra in a localic topos with applications to ring theory / Francis Borceux, Gilberte van den Bossche
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in mathematics ; 1038)
Indexed categories and their applications / P.T. Johnstone ... [et al.] ; edited by P.T. Johnstone and R. Paré
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in mathematics ; 661)
Toposes, algebraic geometry and logic / I. Bucur ... [et al.] ; edited by F.W. Lawvere
: u.s.,: gw. - Berlin : Springer-Verlag , 1972. - (Lecture notes in mathematics ; 274)