Blank Cover Image
このページのQRコード

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

種類:
図書
責任表示:
A. S. Troelstra
出版情報:
Berlin ; Heidelberg ; New York : Springer-Verlag, 1969
著者名:
Troelstra, A. S. (Anne Sjerp) <DA00234679>  
シリーズ名:
Lecture notes in mathematics ; 95 <BA00146586>
注記:
Bibliography: p. 108-111
所蔵情報
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, NY

Troelstra, Anne S., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Wallen, Lincoln A.

MIT Press
2 図書 Metamathematical investigation of intuitionistic arithmetic and analysis

Troelstra, A. S. (Anne Sjerp)

Springer
8 図書 Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst

Springer-Verlag
3 図書 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968

Conference on Intuitionism and Proof Theory, Kino, Akiko, Myhill, John Martin, Vesley, Richard Eugene, 1932-, State &hellip;

North-Holland Pub. Co.
9 図書 Mathematical intuitionism : introduction to proof theory

Dragalin, Alʹbert Grigorʹevich

American Mathematical Society
4 図書 Basic proof theory

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

Cambridge University Press
10 図書 MATHEMATICAL INTUITIONISM : INTRODUCTION TO PROOF THEORY

DRAGALIN, A. G.

AMERICAN MATHEMATICAL SOCIETY
5 図書 Proof theory and intuitionistic systems

Scarpellini, Bruno

Springer-Verlag
11 図書 Categories in continuum physics : lectures given at a workshop held at SUNY, Buffalo, 1982

Lawvere, F. William, 1937-, Schanuel, Stephen Hoel, 1933-

Springer-Verlag
6 図書 Lectures on linear logic

Troelstra, A. S. (Anne Sjerp)

Center for the Study of Language and Information
12 電子ブック Categories in Continuum Physics : Lectures Given at a Workshop Held at SUNY, Buffalo 1982

Lawvere, F. William., Schanuel, Stephen H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer