The collected works of J. Richard Büchi

タイトル、所在を表示します

フォーマット:

図書

責任表示:

Saunders Mac Lane, Dirk Siefkes, editors

言語:

英語

出版情報:

New York ; Tokyo : Springer-Verlag, c1990

形態:

xvi, 696 p. ; 25 cm

著者名:

書誌ID:

BA07961143

ISBN:

9780387970646 [0387970649] (: U.S.)
9783540970644 [3540970649] (: Germany)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Büchi, J. Richard; Logic, Symbolic and mathematical; Machine theory
LCCN:	89021769
登録日:	2005-12-27
分類・件名:	LCC : QA267 DDC : 511.3 LCSH : Machine theory LCSH : Logic, Symbolic and mathematical LCSH : Büchi, J. Richard

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The monadic second order theory of all countable ordinals Büchi, J. Richard, 1924-1984, Siefkes, Dirk Springer	7 図書 Reports of the Midwest category seminar IV Applegate, J. H. (James H.), Mac Lane, Saunders, 1909- Springer-Verlag
2 図書 Eilenberg--Mac Lane : collected works Eilenberg, Samuel, Mac Lane, Saunders, 1909- Academic Press	8 図書 A survey of modern algebra Birkhoff, Garrett, 1911-, Mac Lane, Saunders, 1909- Macmillan
3 図書 Homology Mac Lane, Saunders, 1909- Springer, Kinokuniya	9 図書 Kategorien : Begriffssprache und mathematische Theorie Mac Lane, Saunders, 1909-, Schürger, Klaus Springer-Verlag
4 図書 Homology Mac Lane, Saunders, 1909- Springer	10 図書 Sheaves in geometry and logic : a first introduction to topos theory Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer-Verlag
5 図書 Categories for the working mathematician Mac Lane, Saunders, 1909- Springer	11 図書 Selected papers Mac Lane, Saunders, 1909-, Kaplansky, Irving, 1917- Springer-Verlag
6 図書 Categories for the working mathematician Mac Lane, Saunders, 1909- Springer	12 図書 Algebra Mac Lane, Saunders, 1909-, Birkhoff, Garrett, 1911- Macmillan