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

Language in action : categories, lambdas and dynamic logic

種類:
図書
責任表示:
Johan van Benthem
出版情報:
Amsterdam ; New York : North-Holland
New York : Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc., 1991
著者名:
Benthem, J. F. A. K. van, 1949- <DA00887300>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 130 <BA00099329>
ISBN:
9780444890009 [0444890009]  CiNii Books  Calil
注記:
Includes bibliography (p. 327-344) and index
Copyright Elsevier Science Publishers B.V., 1991
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Handbook of logic and language

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier, MIT Press
7 図書 Logic in linguistics

Allwood, Jens S., 1947-, Andersson, Lars-Gunnar, 1949-, Dahl, Östen

Cambridge University Press
2 図書 Quantifiers, logic, and language

Does, Jaap van der, 1956-, Eijck, J. van (Jan)

Center for the Study of Language and Information
8 図書 Foundations of logico-linguistics : a unified theory of information, language, and logic

Cooper, William S.

D. Reidel Pub. Co.
3 図書 Lambda-calculus and combinators, an introduction

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
9 図書 The language of logic

Freudenthal, Hans, 1905-

Elsevier
4 図書 Cogitations : a study of the cogito in relation to the philosophy of logic and language and a study of them in relation to the cogito

Katz, Jerrold J.

Oxford University Press
10 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
5 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
11 図書 Domains and lambda-calculi

Amadio, Roberto M, Curien, P.-L. (...Pierre-Louis...)

Cambridge University Press
6 図書 The logic of language development in early childhood

Miller, Max H.

Springer-Verlag
12 図書 Meta-logics and logic programming

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

MIT Press