メインコンテンツに移動

このページのQRコード

Proof theory, constructive mathematics

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
出版情報
  • Berlin ; Tokyo : Springer-Verlag , c1987
形態
  • xli, 405 p.  ;  28 cm
ISBN
  • 9783540155249 [3540155244] (: Germany)
  • 9780387155241 [0387155244] (: U.S.)
シリーズ名
著者名
書誌ID
  • BA00749049
注記
  • Includes indexes
E-Resources
Loading...
Loading...
Loading...
その他の標題
  • Bibliography of mathematical logic
言語
  • 英語
分類・件名
  • LCC：Z6654.M26
  • LCC：QA9
  • DCC：016.5113
  • NDLC：MA1
  • NDLC：MA41
  • LCSH：Logic, Symbolic and mathematical--Bibliography
主題
タイトルが類似している資料
類似資料
図書

Recursion theory

Müller, G. H. (Gert Heinz), 1923- Lenski, Wolfgang, 1952- Hinman, Peter G.
Springer-Verlag, c1987
図書

Model theory

Müller, G. H. (Gert Heinz), 1923- Lenski, Wolfgang, 1952- Ebbinghaus, Heinz-Dieter, 1939-
Springer-Verlag, c1987
図書

Set theory

Müller, G. H. (Gert Heinz), 1923- Lenski, Wolfgang, 1952- Blass, Andreas R.
Springer-Verlag, c1987
図書

Classical logic

Müller, G. H. (Gert Heinz), 1923- Lenski, Wolfgang, 1952- Rautenberg, Wolfgang
Springer-Verlag, c1987
図書

Non-classical logics

Müller, G. H. (Gert Heinz), 1923- Lenski, Wolfgang, 1952- Rautenberg, Wolfgang
Springer-Verlag, c1987
図書

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977

Müller, G. H. (Gert Heinz), 1923- Scott, Dana S.
Springer-Verlag, 1978
図書

Constructivism in mathematics : an introduction

Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Heyting, A. (Arend), 1898-
North-Holland, 1988
図書

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday

Heyting, A. (Arend), 1898- Dalen, D. van (Dirk), 1932- Scott, Dana Troelstra, A. S. (Anne Sjerp)
Wolters-Noordhoff, 1968
図書

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981

L.E.J. Brouwer Centenary Symposium Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966 Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science, 1982
図書

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

ISILC Proof Theory Symposium Schütte, K. (Kurt) Diller, Justus Müller, G. H. (Gert Heinz), 1923- International Summer Institute and Logic Colloquium
Springer-Verlag, 1975
図書

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, 1969
図書

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, 1984
図書

Basic proof theory

Troelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut, 1942-
Cambridge University Press, 2000
図書

Finite model theory

Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg
Springer, c1999
図書

Finite model theory

Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg
Springer, c1995
図書

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

Ebbinghaus, Heinz-Dieter, 1939- Sacks, Gerald E., 1933- Müller, G. H. (Gert Heinz), 1923-
Springer-Verlag, c1985
図書

Choice sequences : a chapter of intuitionistic mathematics

Troelstra, A. S. (Anne Sjerp)
Clarendon Press, 1977
図書

Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang
Springer, c2021
図書

Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang
Springer-Verlag, c1984
図書

Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang
Springer-Verlag, c1994