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

Mathematical intuitionism : introduction to proof theory

フォーマット:
図書
責任表示:
A.G. Dragalin
言語:
英語
出版情報:
Providence, R.I. : American Mathematical Society, c1988
形態:
ix, 228 p. ; 24 cm
著者名:
Dragalin, Alʹbert Grigorʹevich <DA0223033X>  
シリーズ名:
Translations of mathematical monographs ; v. 67 <BA00080309>
書誌ID:
BA03543673
ISBN:
9780821845202 [0821845209]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 An introduction to mathematical logic and type theory : to truth through proof

Andrews, P. B. (Peter Bruce), 1937-

Academic Press
7 図書 Introduction to mathematical logic

Mendelson, Elliott

Van Nostrand
2 図書 Mathematical logic : an introduction to model theory

Lightstone, A. H., Enderton, Herbert B

Plenum Press
8 図書 A concise introduction to mathematical logic

Rautenberg, Wolfgang

Springer
3 図書 Introduction to mathematical logic : set theory, computable functions, model theory

Malitz, Jerome

Springer-Verlag
9 図書 A concise introduction to mathematical logic

Rautenberg, Wolfgang

Springer
4 図書 Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre, 1927-1974, Worrall, John, Zahar, Elie

Cambridge University Press
10 図書 Introduction to mathematical logic

Mendelson, Elliott

Wadsworth & Brooks/Cole Advanced Books & Software
5 図書 Bridge to abstract mathematics : mathematical proof and structures

Morash, Ronald P.

Random House
11 図書 Introduction to mathematical logic

Mendelson, Elliott

CRC Press
6 図書 Introduction to elementary mathematical logic

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

Dover Publications
12 図書 Introduction to the foundations of mathematics

Wilder, Raymond Louis, 1896-

J. Wiley