Language in action : categories, lambdas, and dynamic logic /

Bibliographic Details
Main Author: Benthem, Johan van, 1949-
Format: Book
Language:English
Published: Amsterdam ; New York : North-Holland ; 1991.
Series:Studies in logic and the foundations of mathematics ; v. 130.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00001008024
005 20150927215316.0
008 901218s1991 ne b 00110 eng
010 |a  90026865  
020 |a 0444890009 
035 |a (OCoLC)22957146 
035 |9 AFD5964AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM 
050 0 0 |a P39  |b .B46 1991 
082 0 0 |a 415/.01  |2 20 
100 1 |a Benthem, Johan van,  |d 1949- 
245 1 0 |a Language in action :  |b categories, lambdas, and dynamic logic /  |c Johan van Benthem. 
263 |a 9101 
264 1 |a Amsterdam ;  |a New York :  |b North-Holland ;  |c 1991. 
264 2 |a New York, N.Y., U.S.A. :  |b Elsevier Science Pub. Co. [distributor], 
300 |a 349 pages 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 130 
504 |a Includes bibliographical references and index. 
650 0 |a Language and logic. 
650 0 |a Categorial grammar. 
650 0 |a Lambda calculus. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Mathematical linguistics. 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 130. 
999 |a MARS 
999 f f |s b1b8c194-fe17-3aea-aac4-dc2d4a4b6760  |i 5efa38f2-23ae-394d-9fd9-35b44f93e684  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |s JLF  |d Remote Storage  |t 0  |e P39 .B46 1991  |h Library of Congress classification  |i unmediated -- volume  |m A14814732098 
998 f f |a P39 .B46 1991  |t 0  |l Remote Storage