Proof theory, constructive mathematics

>> Google Books

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

Proof theory, constructive mathematics

フォーマット:

図書

責任表示:

Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

xli, 405 p. ; 28 cm

著者名:

シリーズ名:

Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6 <BA00027452>

書誌ID:

BA00749049

ISBN:

9783540155249 [3540155244] (: Germany)
9780387155241 [0387155244] (: U.S.)

子書誌情報

所蔵情報

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

詳細

その他のタイトル:	Bibliography of mathematical logic
資料形態(詳細):	Text
主題:	Logic, Symbolic and mathematical--Bibliography
LCCN:	86031426
注記:	Includes indexes
登録日:	2016-05-13
分類・件名:	LCC : Z6654.M26 LCC : QA9 DDC : 016.5113 NDLC : MA1 NDLC : MA41 LCSH : Logic, Symbolic and mathematical -- Bibliography

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Model theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Ebbinghaus, Heinz-Dieter, 1939- Springer-Verlag	7 図書 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. (Anne Sjerp) Springer-Verlag
2 図書 Recursion theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Hinman, Peter G. Springer-Verlag	8 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press
3 図書 Set theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Blass, Andreas R. Springer-Verlag	9 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press
4 図書 Classical logic Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag	10 図書 Choice sequences : a chapter of intuitionistic mathematics Troelstra, A. S. (Anne Sjerp) Clarendon Press
5 図書 Non-classical logics Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag	11 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag
6 図書 Constructivism in mathematics : an introduction Troelstra, A. S. (Anne Sjerp), Dalen, D. van (Dirk), 1932-, Heyting, A. (Arend), 1898- North-Holland	12 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938- Springer-Verlag