儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
主題 (1-39 之 39)
Toposes
1
book jacket

Accessible categories : the foundations of categorical model theory
Makkai, Michael, 1939-
Providence, R.I. : American Mathematical Society, c1989
 
c1989
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 M35 1989    在架上    30340200235939
2
book jacket

Accessible categories the foundations of categorical model theory
Makkai, Mihály, 1939-
Providence, R.I. : American Mathematical Society, c1989
c1989
電子書

館藏地: 數學所圖書室
3
book jacket

Algebra in a localic topos with applications to ring theory
Borceux, Francis, 1948-
Berlin ; New York : Springer-Verlag, 1983
 
1983
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 L28 v.1038    在架上    30340200168577
4
book jacket

Algebra in a localic topos with applications to ring theory
Borceux, Francis, 1948-
Berlin ; New York : Springer-Verlag, 1983
1983
電子書

館藏地: 數學所圖書室
5
book jacket

Axiomization of passage from "local" structure to "global" object
Feit, Paul, 1959-
Providence, RI : American Mathematical Society, 1993
 
1993
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.485    在架上    30340200276610
6
book jacket

Axiomization of passage from "local" structure to "global" object
Feit, Paul, 1959-
Providence, R.I. : American Mathematical Society, 1993
1993
電子書

館藏地: 數學所圖書室
7
book jacket

Classifying spaces and classifying topoi
Moerdijk, Ieke
New York : Springer, 1995
 
1995
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA612.7 .M64 1995    在架上    30340200330615
8
book jacket

Classifying spaces and classifying topoi
Moerdijk, Ieke
New York : Springer, c1995
c1995
電子書

館藏地: 數學所圖書室
9
book jacket

Duality and definability in first order logic
Makkai, Michael, 1939-
Providence, R.I. : American Mathematical Society, 1994
 
1994
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.503    在架上    30340200288748
10
book jacket

Duality and definability in first order logic
Makkai, Mihály, 1939-
Providence, R.I. : American Mathematical Society, c1993
c1993
電子書

館藏地: 數學所圖書室
11
book jacket

Elementary categories, elementary toposes
McLarty, Colin
Oxford : Clarendon Press ; New York : Oxford University Press, 1992
 
1992
紙本資料

館藏地: 數學所圖書室, 歐美所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 M45 1991    在架上    30340200274359
 歐美所圖書館3F西文書區  511.3 M222    在架上    30500100835266
12
book jacket

An extension of the Galois theory of Grothendieck
Joyal, André
Providence, R.I. : American Mathematical Society, [1984]
 
1984
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.309    在架上    30340200175291
13
book jacket

An extension of the Galois theory of Grothendieck
Joyal, André
Providence, R.I. : American Mathematical Society, [1984]
1984
電子書

館藏地: 數學所圖書室
14
book jacket

A first course in topos quantum theory
Flori, Cecilia
New York : Springer, 2013
 
2013
紙本資料

館藏地: 物理所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 物理所圖書室  QC3 L471  v. 868    在架上    30350000490378
15
book jacket

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Makkai, Michael, 1939-
Berlin ; New York : Springer-Verlag, 1977
 
1977
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 M289 1977    在架上    30340200117236
16
book jacket

First order categorical logic model-theoretical methods in the theory of topoi and related categories
Makkai, Mihály, 1939-
Berlin ; New York : Springer-Verlag, 1977
1977
電子書

館藏地: 數學所圖書室
17
book jacket

Forcing and classifying topoi
Ščedrov, Andrej, 1955-
Providence, R.I., USA : American Mathematical Society, c1984
 
c1984
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.295    在架上    30340200170359
18
book jacket

Forcing and classifying topoi
Ščedrov, Andrej, 1955-
Providence, R.I., USA : American Mathematical Society, c1984
c1984
電子書

館藏地: 數學所圖書室
19
book jacket

Freyd's models for the independence of the axiom of choice
Blass, Andreas, 1947-
Providence, R.I., USA : American Mathematical Society, 1989
 
1989
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.404    在架上    30340200223984
20
book jacket

Freyd's models for the independence of the axiom of choice
Blass, Andreas, 1947-
Providence, R.I., USA : American Mathematical Society, c1989
c1989
電子書

館藏地: 數學所圖書室
21
book jacket

Higher topos theory
Lurie, Jacob, 1977-
Princeton, N.J. : Princeton University Press, 2009
 
2009
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 L87 2009    在架上    30340200500928
22
 

Higher topos theory
Lurie, Jacob, 1977-
Princeton, N.J. : Princeton University Press, 2009
2009
電子書

館藏地: 資訊服務處圖書館
23
book jacket

Indexed categories and their applications

Berlin ; New York : Springer-Verlag, 1978
1978
電子書

館藏地: 數學所圖書室
24
book jacket

Lecture notes on topoi and quasitopoi
Wyler, Oswald
Singapore ; New Jersey : World Scientific, 1991
 
1991
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 W94 1991    在架上    30340200253312
 資訊所圖書室圖書區  J2 W983    在架上    30330000090808
25
book jacket

Logique des topos : introduction à la théorie des topos élémentaires
Schlomiuk, Dana I
Montréal : Presses de l'Université de Montréal, 1977
 
1977
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .S29    在架上    30340200163354
26
book jacket

Model theory and topoi : a collection of lectures by various authors

Berlin ; New York : Springer-Verlag, 1975
 
1975
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 M72    在架上    30340200101537
27
book jacket

Model theory and topoi a collection of lectures by various authors

Berlin ; New York : Springer-Verlag, 1975
1975
電子書

館藏地: 數學所圖書室
28
book jacket

Proper maps of toposes
Moerdijk, Ieke
Providence, R.I. : American Mathematical Society, c2000
 
c2000
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 A57 v.705    在架上    30340200400772
29
book jacket

Proper maps of toposes
Moerdijk, Ieke
Providence, R.I. : American Mathematical Society, c2000
c2000
電子書

館藏地: 數學所圖書室
30
book jacket

Singular coverings of toposes
Bunge, Marta
Berlin : Springer, 2006
 
2006
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .B86 2006    在架上    30340200478562
31
book jacket

Singular Coverings of Toposes
Bunge, Marta
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
2006
電子書

館藏地: 數學所圖書室
32
book jacket

Sketches of an elephant : a topos theory compendium
Johnstone, P. T
Oxford ; New York : Oxford University Press, 2002-
 
2002-
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 J62 2002  v.1    在架上    30340200448516
 數學所圖書室  QA169 J62 2002  v.2    在架上    30340200448524
33
book jacket

Topoi, the categorial analysis of logic
Goldblatt, Robert
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979
 
1979
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .G64    在架上    30340200142234
34
book jacket

Topoi, the categorial analysis of logic
Goldblatt, Robert
Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1983
 
1983
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .G64 1984    在架上    30340200172702
35
book jacket

Topos theory
Johnstone, P. T
London ; New York : Academic Press, 1977
 
1977
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .J63    在架上    30340200127946
36
book jacket

Toposes, algebraic geometry and logic

Berlin, New York, Springer-Verlag, 1972
 
1972
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 T628 1971    在架上    303402000M6280
37
book jacket

Toposes, algebraic geometry and logic Dalhousie University, Halifax, January 16-19, 1971

Berlin ; New York : Springer-Verlag, 1972
1972
電子書

館藏地: 數學所圖書室
38
book jacket

Toposes and local set theories : an introduction
Bell, J. L. (John Lane)
Oxford : Oxford University Press, 1988
 
1988
紙本資料

館藏地: 數學所圖書室, 歐美所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 歐美所圖書館3F西文書區  511.32 B413to    在架上    30500100597890
 數學所圖書室  QA169 B45 1988    在架上    30340200225195
39
book jacket

Toposes, triples, and theories
Barr, Michael
New York : Springer-Verlag, c1985
 
c1985
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA169 .B346 1985    在架上    30340200178691
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄