>> Amazon.co.jp
このページのQRコード

Topoi : the categorial analysis of logic. Rev. ed

種類:
図書
責任表示:
Robert Goldblatt
出版情報:
Amsterdam : North-Holland, 1984
著者名:
Goldblatt, Robert, 1949- <DA01191414>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 98 <BA00099329>
ISBN:
9780444867117 [0444867112]  CiNii Books  Calil
注記:
Bibliography: p. 521-529
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Topoi : the categorial analysis of logic
Robert Goldblatt , North-Holland Pub. Co , 1979

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Topoi : the categorial analysis of logic

Goldblatt, Robert, 1949-

North-Holland Pub. Co, sole distributors for the U.S.A. and Canada, Elsevier North-Holland
7 図書 Logics of time and computation

Goldblatt, Robert, 1949-

Center for the Study of Language and Information
2 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937-

Springer-Verlag
8 電子ブック Accessible categories : the foundations of categorical model theory

Makkai, Michael, 1939-, Paré, Robert, 1944-

American Mathematical Society
3 図書 Classifying spaces and classifying topoi

Moerdijk, Ieke

Springer
9 図書 Lectures on the hyperreals : an introduction to nonstandard analysis

Goldblatt, Robert, 1949-

Springer
4 図書 Model theory and topoi : a collection of lectures by various authors

Lawvere, F. W, Maurer, Christian, Wraith, G. C

Springer-Verlag
10 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt, Robert, SpringerLink (Online service)

Springer-Verlag
5 図書 Toposes, algebraic geometry and logic

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

Springer-Verlag
11 図書 Type logical grammar : categorial logic of signs

Morrill, Glyn V.

Kluwer Academic
6 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag
12 図書 Orthogonality and spacetime geometry

Goldblatt, Robert, 1949-

Springer-Verlag