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

Mathematical intuitionism : introduction to proof theory

種類:
図書
責任表示:
A.G. Dragalin
出版情報:
Providence, R.I. : American Mathematical Society, c1988
著者名:
Dragalin, Alʹbert Grigorʹevich <DA0223033X>  
シリーズ名:
Translations of mathematical monographs ; v. 67 <BA00080309>
ISBN:
9780821845202 [0821845209]  CiNii Books  Calil
注記:
Translation of: Математический интуиционизм
Bibliography: p. 201-216
Includes indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 MATHEMATICAL INTUITIONISM : INTRODUCTION TO PROOF THEORY

DRAGALIN, A. G.

AMERICAN MATHEMATICAL SOCIETY
7 図書 Introduction to the foundations of mathematics

Wilder, Raymond Louis, 1896-

Wiley, Toppan
2 図書 Introduction to mathematical structures and proofs

Gerstein, Larry J.

Springer, Jones and Bartlett Publishers
8 図書 Introduction to elementary mathematical logic

Stoli︠a︡r, A. A. (Abram Aronovich)

Dover Publications
3 図書 A mathematical introduction to logic

Enderton, Herbert B

Academic Press
9 図書 The axiomatic method : an introduction to mathematical logic

Lightstone, A. H.

Prentice-Hall
4 図書 An algebraic introduction to mathematical logic

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
10 図書 The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability

Reichenbach, Hans, 1891-1953, Hutten, Ernest H. (Ernest Hirschlaff), 1908-, Reichenbach, Maria

University of California Press
5 図書 Introduction to mathematical logic

Mendelson, Elliott

Van Nostrand
11 電子ブック Introduction to Mathematical Structures and Proofs

Gerstein, Larry J., SpringerLink (Online service)

Springer New York
6 図書 Introduction to the foundations of mathematics

Wilder, Raymond Louis, 1896-

J. Wiley
12 図書 AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY : TO TRUTH THROUGH PROOF

ANDREWS, PETER B.

ACADEMIC PRESS