LEADER 00670nam0-22002411i-450- 001 990001199620403321 035 $a000119962 035 $aFED01000119962 035 $a(Aleph)000119962FED01 035 $a000119962 100 $a20000920d1956----km-y0itay50------ba 101 0 $aeng 200 1 $aLogic, Semantics, Metamathematics$fby TARS KI Alfred. 210 $aOxford$cClarendon Press$d1956 700 1$aTarski,$bAlfred$f<1901-1983>$01978 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001199620403321 952 $a11-E-33$b2025$fMA1 959 $aMA1 996 $aLogic, semantics, metamathematics$9339837 997 $aUNINA DB $aING01 LEADER 01291oam 2200421 450 001 9910715949203321 005 20210413141818.0 035 $a(CKB)5470000002516603 035 $a(OCoLC)1245962608 035 $a(EXLCZ)995470000002516603 100 $a20210413j199407 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModelling of surfaces /$fGuillermo Bozzolo [and three others] 210 1$aWashington, D.C. :$cNational Aeronautics and Space Administration,$dJuly 1994. 215 $a1 online resource (35 pages, 1 unnumbered page) $cillustrations 225 1 $aNASA/TM ;$v106680 225 1 $aNASA/TM ;$v106675 300 $a"July 1994." 320 $aIncludes bibliographical references. 606 $aAlloys$2nasat 606 $aAlgorithms$2nasat 606 $aBinary alloys$2nasat 615 7$aAlloys. 615 7$aAlgorithms. 615 7$aBinary alloys. 700 $aBozzolo$b G$g(Guillermo),$01387117 712 02$aUnited States.$bNational Aeronautics and Space Administration, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910715949203321 996 $aModelling of surfaces$93436611 997 $aUNINA