LEADER 01036nam0-22003251i-450- 001 990001113660403321 010 $a0-262-01125-5 035 $a000111366 035 $aFED01000111366 035 $a(Aleph)000111366FED01 035 $a000111366 100 $a20000920d1991----km-y0itay50------ba 101 0 $aeng 200 1 $aCategories, Types, and Structures$eAn Introduction to Category Theory for the Working Computer Scientist$fAndrea Asperti, Giuseppe Longo 210 $aCambridge [Mass.] [etc.]$cThe MIT Press$d1991 225 1 $aFoundations of Computing 300 $aIncludes bibliographical references 610 0 $aTeoria della programmazione e utilizzazione dei computers 610 0 $aSoftware 676 $a510.78 700 1$aAsperti,$bAndrea$053304 702 1$aLongo,$bGiuseppe 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001113660403321 952 $a8B-285$b18958$fFI1 959 $aFI1 996 $aCategories, Types, and Structures$9337213 997 $aUNINA DB $aING01 LEADER 00998cam0-2200325---450- 001 990005643550403321 005 20110325135434.0 035 $a000564355 035 $aFED01000564355 035 $a(Aleph)000564355FED01 035 $a000564355 100 $a19990604d1967----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $aa-------00-yy 200 1 $a<>description of the five orders of columnes and tearms of architecture$fHans Bloome 205 $aRepublished 210 $aFarnborough$cGregg$d1967 215 $a1 v. (varie sequenze)$cill.$d34 cm 300 $aRiproduzione della prima ed. , London, 1678 610 0 $aOrdini architettonici 676 $a721.36 700 1$aBloome,$bHans$0401248 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005643550403321 952 $a721.36 BLO 1$bST. ARTE 10769$fFLFBC 959 $aFLFBC 996 $aDescription of the five orders of columnes and tearms of architecture$9606005 997 $aUNINA