>> Google Books
所蔵情報QRコード

Topoi : the categorial analysis of logic / Robert Goldblatt

資料種別:
図書
出版情報:
Amsterdam ; New York : North-Holland Pub. Co
New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979
形態:
xv, 486 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 98 <BA00099329>
著者名:
Goldblatt, Robert, 1949- <DA01191414>  
ISBN:
9780444852076 [0444852077]
書誌ID:
BA04017133
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Axiomatising the logic of computer programming (: gw ; : us)

Goldblatt, Robert, 1949-

Springer-Verlag
7 図書 Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw)

Mac Lane, Saunders, 1909-, Moerdijk, Ieke

Springer-Verlag
2 図書 Logics of time and computation (pbk.)

Goldblatt, Robert, 1949-

Center for the Study of Language and Information
8 電子ブック Sheaves in geometry and logic : a first introduction to topos theory (: electronic bk)

Mac Lane, Saunders, 1909-, Moerdijk, Ieke

Springer-Verlag
3 図書 Lectures on the hyperreals : an introduction to nonstandard analysis

Goldblatt, Robert, 1949-

Springer
9 図書 Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw)

Mac Lane, Saunders, 1909-, Moerdijk, Ieke

Springer
4 図書 Lecture notes on topoi and quasitopoi

Wyler, Oswald

World Scientific
10 電子ブック The Logic of Categorial Grammars

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Toposes, algebraic geometry and logic (: u.s. ; : gw)

Bucur, Ion, 1930-1976, Lawvere, F. William, 1937-, Dalhousie University

Springer-Verlag
11 電子ブック The Logic of Categorial Grammars

Hutchison, David, Kanade, Takeo, Kittler, Josef, Retore, Christian

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt, R., SpringerLink (Online service)
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12