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

Constructivism in mathematics : an introduction

種類:
図書
責任表示:
A.S. Troelstra, D. van Dalen
出版情報:
Amsterdam ; Tokyo : North-Holland, 1988
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 121, 123 <BA00099329>
ISBN:
9780444702661 [0444702660] (v. 1)  CiNii Books  Calil
9780444705068 [0444705066] (v. 1:pbk.)  CiNii Books  Calil
9780444703583 [0444703586] (v. 2)  CiNii Books  Calil
注記:
"This book is dedicated to the memory of our teacher Arend Heyting"--P. iii of v. 2
Bibliography: v. 1, p. [327]-342; v. 2, p. 853-879
Includes indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898-

North-Holland Publishing Co.
2 図書 Metamathematical investigation of intuitionistic arithmetic and analysis

Troelstra, A. S. (Anne Sjerp)

Springer
8 図書 Basic proof theory

Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-

Cambridge University Press
3 図書 Lectures on linear logic

Troelstra, A. S. (Anne Sjerp)

Center for the Study of Language and Information
9 図書 Axiomatic projective geometry

Heyting, A. (Arend), 1898-

P. Noordhoff, Sole distribution for U.S.A., Interscience Publishers, a division of John Wiley & Sons
4 図書 Lectures on constructive mathematical analysis

Kushner, B. A. (Boris Abramovich), Mendelson, E., Leĭfman, L. I︠A︡. (Lev I︠A︡kovlevich)

American Mathematical Society
10 図書 Philosophy and foundations of mathematics

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Heyting, A. (Arend), 1898-

North-Holland Pub. Co., American Elsevier Pub. Co.
5 図書 Five papers on logic and foundations

T︠S︡eĭtin, G. S.

American Mathematical Society
11 図書 INTUITIONISM AN INTRODUCTION

HEYTING, A.

NORTH-HOLLAND
6 図書 Predicative arithmetic

Nelson, Edward, 1932-

Princeton University Press
12 電子ブック L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life

Dalen, Dirk, SpringerLink (Online service)

Springer London : Imprint: Springer