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

Lectures on linear logic

種類:
図書
責任表示:
A.S. Troelstra
出版情報:
Stanford, Calif. : Center for the Study of Language and Information, c1992
著者名:
Troelstra, A. S. (Anne Sjerp) <DA00234679>  
シリーズ名:
CSLI lecture notes ; no. 29 <BA0037651X>
ISBN:
9780937073780 [0937073784] (: [hard])  CiNii Books  Calil
9780937073773 [0937073776] (: pbk)  CiNii Books  Calil
注記:
Includes bibliographical references (p. 191-196) and index
所蔵情報
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 図書 Nine papers on logic and group theory

Berman, S. D. (Samuil Davidovich), 1922-1987

American Mathematical Society
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 図書 Studies in logic

Peirce, Charles S. (Charles Sanders), 1839-1914, Johns Hopkins University

John Benjamins
9 図書 Symbolic logic ; and, The game of logic

Carroll, Lewis, 1832-1898

Dover Publications
4 図書 Five papers on logic and foundations

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

American Mathematical Society
10 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
5 図書 Six papers in logic

Artemov, S. N., Silver, Ben

American Mathematical Society
11 図書 Mathematical logic

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

Springer-Verlag
6 図書 Eighteen papers on logic and theory of functions

Aršon, I. S.

American Mathematical Society
12 図書 Mathematical logic

Monk, James Donald, 1930-

Springer-Verlag