LEADER 01185nam a2200325 i 4500 001 991000895269707536 005 20020507175418.0 008 970630s1977 de ||| | eng 020 $a3540084398 035 $ab10772406-39ule_inst 035 $aLE01303968$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03C 100 1 $aMakkai, Michael$055822 245 10$aFirst order categorical logic :$bmodel-theoretical methods in the theory of topoi and related categories /$cMichael Makkai, Gonzalo Reyes 260 $aBerlin ; New York :$bSpringer-Verlag,$c1977 300 $aviii, 301 p. :$bill. ;$c25 cm. 490 0 $aLecture notes in mathematics,$x0075-8434 ;$v611 500 $aBibliography: p. [298]-301 650 0$aCategories 650 0$aModel theory 650 0$aToposes 700 1 $aReyes, Gonzalo E. 907 $a.b10772406$b23-02-17$c28-06-02 912 $a991000895269707536 945 $aLE013 03C MAK11 (1977)$g1$i2013000087009$lle013$o-$pE0.00$q-$rl$s- $t0$u2$v0$w2$x0$y.i10870908$z28-06-02 996 $aFirst order categorical logic$9262847 997 $aUNISALENTO 998 $ale013$b01-01-97$cm$da $e-$feng$gde $h0$i1 LEADER 01763oam 2200493 450 001 9910711734503321 005 20201210164510.0 035 $a(CKB)5470000002486728 035 $a(OCoLC)1081297927 035 $a(EXLCZ)995470000002486728 100 $a20190108d1980 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aExcessive nitrogen supply pressure actuates safety-relief valve operation to cause reactor depressurization 210 1$aWashington, D.C. :$cUnited States Nuclear Regulatory Commission, Office of Inspection and Enforcement,$d1980. 215 $a1 online resource (2 pages) 225 1 $aInformation notice ;$vno. 80-40 300 $a"November 7, 1980." 606 $aNuclear power plants$xPiping$xValves$zUnited States 606 $aRelief valves 606 $aNuclear reactors$xContainment 606 $aNuclear power plants$xPiping$xValves$2fast 606 $aNuclear reactors$xContainment$2fast 606 $aRelief valves$2fast 607 $aUnited States$2fast 615 0$aNuclear power plants$xPiping$xValves 615 0$aRelief valves. 615 0$aNuclear reactors$xContainment. 615 7$aNuclear power plants$xPiping$xValves. 615 7$aNuclear reactors$xContainment. 615 7$aRelief valves. 712 02$aU.S. Nuclear Regulatory Commission.$bOffice of Inspection and Enforcement, 801 0$bGPO 801 1$bGPO 801 2$bOCLCF 801 2$bMERUC 801 2$bGPO 906 $aBOOK 912 $a9910711734503321 996 $aExcessive nitrogen supply pressure actuates safety-relief valve operation to cause reactor depressurization$93281485 997 $aUNINA