LEADER 01108nam0-2200361---450-
001 990009532130403321
005 20130322091621.0
010   $a88-464-7742-1
035   $a000953213
035   $aFED01000953213
035   $a(Aleph)000953213FED01
035   $a000953213
100   $a20120222d2007----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aa---a---001yy
200 1 $aArchitettura e vivibilità$emodelli di verifica, principi di biocompatibilità, esempi di opere per il rispetto ambientale$fDora Francese
210   $aMilano$cFranco Angeli$d2007
215   $a247 p.$cill.$d23 cm
225 1 $aEdilizia/Strumenti$v10
300   $aIn appendice: La matrice per l'uso del modello VAdE
610 0 $aProgettazione architettonica e ambiente
676   $a720.47
700  1$aFrancese,$bDora$010992
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009532130403321
952   $a230089$bXXX$fDCATA
952   $aURB.LE B 2741$bs.i.$fFARBC
959   $aDCATA
959   $aFARBC
996   $aArchitettura e vivibilità$9855520
997   $aUNINA

LEADER 01244nam a2200361 i 4500
001 991000847339707536
005 20020507174435.0
008 970709s1974    ne            ||| | eng  
020   $a0444105379
035   $ab1076558x-39ule_inst
035   $aLE01303233$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.35
084   $aAMS 03D55
084   $aAMS 03D60
084   $aAMS 03D65
100 1 $aMoschovakis, Yiannis N.$049429
245 10$aElementary induction on abstract structures /$cYiannis N. Moschovakis
260   $aAmsterdam :$c1974
300   $ax, 218 p. ;$c24 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$vv. 77
500   $aIncludes index.
500   $aBibliography: p. 209-212
650  4$aHierarchies
650  4$aHigher-type and set recursion theory
650  4$aInduction
650  4$aRecursive functions
907   $a.b1076558x$b23-02-17$c28-06-02
912   $a991000847339707536
945   $aLE013 03D MOS11 (1974)$g1$i2013000088990$lle013$o-$pE0.00$q-$rl$s-  $t0$u2$v0$w2$x0$y.i10861221$z28-06-02
996   $aElementary Induction on Abstract Structures$9338797
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$feng$gne $h0$i1