Library of Academia Sinica


主畫面 \| 輔助說明 \| 重新查詢 \| English Mode	中研院圖書館首頁

主題 (1-39 之 39)

Toposes

預約

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		Accessible categories the foundations of categorical model theory Makkai, Mihály, 1939- Providence, R.I. : American Mathematical Society, c1989 E - TOC / Resources	c1989
		館藏地: 數學所圖書室

預約

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		Algebra in a localic topos with applications to ring theory Borceux, Francis, 1948- Berlin ; New York : Springer-Verlag, 1983 E - TOC / Resources	1983
		館藏地: 數學所圖書室

預約

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		Axiomization of passage from "local" structure to "global" object Feit, Paul, 1959- Providence, R.I. : American Mathematical Society, 1993 E - TOC / Resources	1993
		館藏地: 數學所圖書室

預約

Classifying spaces and classifying topoi
Moerdijk, Ieke
New York : Springer, 1995

1995

館藏地: 數學所圖書室

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

8		Classifying spaces and classifying topoi Moerdijk, Ieke New York : Springer, c1995 E - TOC / Resources	c1995
		館藏地: 數學所圖書室

預約

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		Duality and definability in first order logic Makkai, Mihály, 1939- Providence, R.I. : American Mathematical Society, c1993 E - TOC / Resources	c1993
		館藏地: 數學所圖書室

預約

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

預約

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		An extension of the Galois theory of Grothendieck Joyal, André Providence, R.I. : American Mathematical Society, [1984] E - TOC / Resources	1984
		館藏地: 數學所圖書室

預約

A first course in topos quantum theory
Flori, Cecilia
New York : Springer, 2013

2013

館藏地: 物理所圖書室

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

預約

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		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 E - TOC / Resources	1977
		館藏地: 數學所圖書室

預約

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

c1984

館藏地: 數學所圖書室

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

18		Forcing and classifying topoi Ščedrov, Andrej, 1955- Providence, R.I., USA : American Mathematical Society, c1984 E - TOC / Resources	c1984
		館藏地: 數學所圖書室

預約

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		Freyd's models for the independence of the axiom of choice Blass, Andreas, 1947- Providence, R.I., USA : American Mathematical Society, c1989 E - TOC / Resources	c1989
		館藏地: 數學所圖書室

預約

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 E - TOC / Resources	2009
		館藏地: 資訊服務處圖書館

23		Indexed categories and their applications Berlin ; New York : Springer-Verlag, 1978 E - TOC / Resources	1978
		館藏地: 數學所圖書室

預約

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

1991

館藏地: 數學所圖書室, 資訊所圖書室

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

預約

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

預約

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

Berlin ; New York : Springer-Verlag, 1975

1975

館藏地: 數學所圖書室

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

27		Model theory and topoi a collection of lectures by various authors Berlin ; New York : Springer-Verlag, 1975 E - TOC / Resources	1975
		館藏地: 數學所圖書室

預約

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

c2000

館藏地: 數學所圖書室

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

29		Proper maps of toposes Moerdijk, Ieke Providence, R.I. : American Mathematical Society, c2000 E - TOC / Resources	c2000
		館藏地: 數學所圖書室

預約

Singular coverings of toposes
Bunge, Marta
Berlin : Springer, 2006

2006

館藏地: 數學所圖書室

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

31		Singular Coverings of Toposes Bunge, Marta Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 E - TOC / Resources	2006
		館藏地: 數學所圖書室

預約

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

預約

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

預約

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

預約

Topos theory
Johnstone, P. T
London ; New York : Academic Press, 1977

1977

館藏地: 數學所圖書室

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

預約

Toposes, algebraic geometry and logic

Berlin, New York, Springer-Verlag, 1972

1972

館藏地: 數學所圖書室

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

37		Toposes, algebraic geometry and logic Dalhousie University, Halifax, January 16-19, 1971 Berlin ; New York : Springer-Verlag, 1972 E - TOC / Resources	1972
		館藏地: 數學所圖書室

預約

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

預約

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=

主畫面 | 輔助說明 | English Mode