TY  - BOOK
AU  - Benthem,Johan van
TI  - A manual of intensional logic
SN  - 093707330X
PY  - 1988///
CY  - Stanford, Calif.
PB  - Center for the Study of Language and Information
KW  - Logic
KW  - Language and logic
N1  - Includes bibliographical references and index; Contents : Classical theories--Recent developmnets : computational applications
ER  -