本の詳細
形式
キンドル
ページ数
386
言語
英語
公開されました
Aug 31, 2009
出版社
North-Holland
ISBN-10
0080880061
ISBN-13
9780080880068
説明
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.
The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
ジャンル
科学＆技術