>> Google Books
QRコード(所蔵情報)

Derivation and computation : taking the Curry-Howard correspondence seriously

フォーマット:
図書
責任表示:
Harold Simmons
言語:
英語
出版情報:
Cambridge ; New York : Cambridge University Press, 2000
形態:
xxv, 384 p. : ill. ; 24 cm
著者名:
Simmons, Harold <DA02656987>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 51 <BA01121831>
書誌ID:
BA46912341
ISBN:
9780521771733 [0521771730]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Sørensen, Morten Heine, Urzyczyn, Paweł

Elsevier

7 電子ブック Taking Rights Seriously

Dworkin, Ronald

Bloomsbury Publishing

Bianculli, David

Simon & Schuster

Simmons, Harold

Cambridge University Press

Wilson, John, 1928-, Cowell, Barbara

Falmer Press, Althouse Press

Jacobs, Bart

Elsevier Science

Dworkin, R. M.

Duckworth

Barendregt, H. P. (Hendrik Pieter), 1947-

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.

Dworkin, R. M.

Harvard University Press

Dewees, Donald N., Duff, David, 1959-, Trebilcock, Michael J., 1941-

Oxford University Press

Dworkin, R. M.

Bloomsbury Academic

Becker, Mary, 1945-, Bowman, Cynthia Grant, 1945-, Torrey, Morrison, 1950-

West Pub. Co.