| Record ID | marc_loc_2016/BooksAll.2016.part20.utf8:48793485:1080 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part20.utf8:48793485:1080?format=raw |
LEADER: 01080cam a2200277 a 4500
001 90026865
003 DLC
005 20130607074543.0
008 901218s1991 ne b 001 0 eng
010 $a 90026865
020 $a0444890009
040 $aDLC$cDLC$dDLC
050 00 $aP39$b.B46 1991
082 00 $a415/.01$220
100 1 $aBenthem, Johan van,$d1949-
245 10 $aLanguage in action :$bcategories, lambdas, and dynamic logic /$cJohan van Benthem.
260 $aAmsterdam ;$aNew York :$bNorth-Holland ;$aNew York, N.Y., U.S.A. :$bDistributors for the U.S. and Canada, Elsevier Science Pub. Co.,$c1991.
300 $ax, 349 p. ;$c23 cm.
440 0 $aStudies in logic and the foundations of mathematics ;$vv. 130
504 $aIncludes bibliographical references (p. 327-344) and index.
650 0 $aLanguage and logic.
650 0 $aCategorial grammar.
650 0 $aLambda calculus.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematical linguistics.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0601/90026865-d.html