Fine structure and iteration trees

↑ タイトル、所在を表示

フォーマット:

図書

責任表示:

William J. Mitchell, John R. Steel

出版情報:

Berlin ; New York : Springer-Verlag, c1994

形態:

130 p. : ill. ; 24 cm

ISBN:

9783540574941 [3540574948] (: gw)

9780387574943 [0387574948] (: us)

シリーズ名:

Lecture notes in logic ; 3 <BA21291492>

著者名:

書誌ID:

BA22789240

注記:

Includes bibliographic references and index

E-Resources:

子書誌情報

所蔵情報

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

詳細

言語:	英語
分類・件名:	LCC : QA9.56 DDC : 511.3 LCSH : Constructive mathematics LCSH : Set theory
主題:	Constructive mathematics; Set theory

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The core model iterability problem Steel, John R., 1948- Springer	7 図書 Food structure : its creation and evaluation Blanshard, J. M. V., Mitchell, J. R. Butterworths
2 図書 Toposes and local set theories : an introduction Bell, J. L. (John Lane) Clarendon Press, Oxford University Press	8 図書 Juvenile wood in forest trees Zobel, Bruce, 1920-, Sprague, J. R. (Jerry R.), 1948- Springer
3 図書 The logic of architecture : design, computation, and cognition Mitchell, William J. (William John), 1944- MIT Press	9 図書 Fine structure of cells and tissues Porter, Keith R., Bonneville, Mary A. Lea & Febiger
4 図書 Introduction to set theory Hrbacek, Karel, 1944-, Jech, Thomas J. Marcel Dekker	10 図書 Fine structure of cells and tissues Porter, Keith R., Bonneville, Mary A. Lea & Febiger
5 図書 Set theory Hausdorff, Felix, 1868-1942, Aumann, John R. Chelsea Pub. Co.	11 図書 Steel and timber structures Hool, George A., Kinne, W. S., Zipprodt, R. R., Griffith, D. M. McGraw-Hill, Kogakusha
6 図書 Simplified independence proofs : Boolean valued models of set theory Rosser, J. Barkley (John Barkley), 1907- Academic Press	12 図書 Introduction to mathematical structures Gordon, Charles K. Dickenson Pub. Co