Advances in Proof-Theoretic Semantics

フォーマット:
電子ブック
責任表示:
Piecha, Thomas; Schroeder-Heister, Peter ; Piecha, Thomas ; Schroeder-Heister, Peter
言語:
英語
出版情報:
Cham : Springer International Publishing, 2016
著者名:
ISBN:
9783319226859 [3319226851]  CiNii Books  Webcat Plus  Google Books
9783319226866 [331922686X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F.

Springer Berlin Heidelberg

Schroeder-Heister, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Kimball, John P., Cole, Peter, 1941-

Seminar Press

Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Menzel, Peter

De Gruyter

ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Lax, Peter D., 1926-, Zalcman, Lawrence

American Mathematical Society

Hintikka, Jaakko, 1929-, Saarinen, Esa, 1953-

D. Reidel Pub. Co.

Balogh, Thomas

Basil Blackwell

6 図書 Action semantics

Mosses, Peter D.

Cambridge University Press

Reckenwald, Robert Peter, 1937-

University Microfilms International