Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)

Language in action : categories, lambdas and dynamic logic / Johan van Benthem.

(Studies in logic and the foundations of mathematics ; vol. 130)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0444890009
Title: Language in action : categories, lambdas and dynamic logic / Johan van Benthem.
Series Title: Studies in logic and the foundations of mathematics ; vol. 130
Author Heading: Benthem, J. F. A. K. van, 1949-
Publication, Distribution, etc.: Amsterdam : North-Holland
Tokyo : North-Holland
Publication Date: 1991.
Publication Date (W3CDTF): 1991
Extent: x, 349 p. : ill. ; 24 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: 記号論理学. Kigoronrigaku.
言語. Gengo.
構文論. Kobunron.
意味論. Imiron.
NDLC: MA41
Note (General): Includes index.
Bibliogrphy: p. 327-349.
Holding library: 国立国会図書館
Call No.: MA41-A76
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003196042
http://id.ndl.go.jp/bib/000003196042
Bibliographic Record Category (NDL): 211