LEADER 00820nam0-22002891i-450- 001 990001638540403321 005 20050405082329.0 035 $a000163854 035 $aFED01000163854 035 $a(Aleph)000163854FED01 035 $a000163854 100 $a20030910d1903----km-y0itay50------ba 101 0 $aeng 200 1 $a<>beach flea$eTalorchestia Longicornis$fMabel E. Smallwood 210 $aBrooklyn$cBrooklyn Institute of Arts and Sciences$d1903 215 $a27 p., 3 tav.$d25 cm 225 1 $aCold spring harbor monographs$v1 610 0 $aInvertebrati 676 $a592 700 1$aSmallwood,$bMabel E.$070230 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001638540403321 952 $a60 592 B 9$fFAGBC 959 $aFAGBC 996 $aBeach flea$9367736 997 $aUNINA 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