LEADER 00936nam0-22003371i-450-
001 990001321330403321
010   $a0-444-89000-9
035   $a000132133
035   $aFED01000132133
035   $a(Aleph)000132133FED01
035   $a000132133
100   $a20000920d1991----km-y0itay50------ba
101 0 $aeng
200 1 $aLanguage in action$ecategories, lambdas and dynamic logic$fJohan Van Benthem
210   $aAmsterdam [etc.]$cNorth-Holland$d1991
215   $ax, 349 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v130
610 0 $aLogica
610 0 $aCalcolo lambda
676   $a511.3
700  1$aBenthem,$bJohan van$051846
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001321330403321
952   $aC-30-(130$b9100$fMA1
959   $aMA1
962   $a03BXX
962   $a03B40
996   $aLanguage in action$9382997
997   $aUNINA
DB    $aING01