LEADER 02126nam 2200589 450 001 996466506003316 005 20220908233717.0 010 $a3-540-37100-1 024 7 $a10.1007/BFb0066201 035 $a(CKB)1000000000438191 035 $a(SSID)ssj0000323160 035 $a(PQKBManifestationID)12132000 035 $a(PQKBTitleCode)TC0000323160 035 $a(PQKBWorkID)10296291 035 $a(PQKB)10031766 035 $a(DE-He213)978-3-540-37100-7 035 $a(MiAaPQ)EBC5585852 035 $a(Au-PeEL)EBL5585852 035 $a(OCoLC)1066199766 035 $a(MiAaPQ)EBC6842317 035 $a(Au-PeEL)EBL6842317 035 $a(OCoLC)793078431 035 $a(PPN)155205404 035 $a(EXLCZ)991000000000438191 100 $a20220908d1977 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFirst order categorical logic $emodel-theoretical methods in the theory of topoi and related categories /$fM. Makkai, G. E. Reyes 205 $a1st ed. 1977. 210 1$aBerlin, Germany :$cSpringer,$d[1977] 210 4$dİ1977 215 $a1 online resource (II, 318 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v611 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-08439-8 327 $aGrothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to ?first order categorical logic?. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v611 606 $aModel theory 615 0$aModel theory. 676 $a511.3 700 $aMakkai$b Miha?ly$f1939-$055822 702 $aReyes$b Gonzalo E.$f1937- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466506003316 996 $aFirst order categorical logic$9262847 997 $aUNISA LEADER 02415nam 2200433 450 001 9910440192503321 005 20231209090905.0 010 $a1-5044-0817-9 024 70$a10.1109/IEEESTD.2016.7470727 035 $a(CKB)4100000007989046 035 $a(NjHacI)994100000007989046 035 $a(EXLCZ)994100000007989046 100 $a20231209d2016 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aISO/IEC/IEEE International Standard for Systems and Software Engineering$hPart 4, $iSystems Engineering Planning ;$eLife Cycle Management /$fSoftware & Systems Engineering Standards Committee of the IEEE Computer Society 205 $aFirst edition 2016-05-15. 210 1$aPiscataway, NJ :$cIEEE,$d2016. 215 $a1 online resource (73 pages) 225 0 $aISO/IEC/IEEE 24748-4 330 $aThe evolution of the harmonized set of ISO/IEC/IEEE 15288-12207 related standards and technical reports that are discussed in this International Standardprovides detailed requirements and guidance on the application of system life cycle processes. This International Standard unifies technical and managementrequirements and guidance from several of these sources to specify the requirements for the content of a SEMP and to provide a common SEMP format. This International Standard also identifies the processes as defined in ISO/IEC/IEEE 15288 to perform the necessary project planning activities to accomplish the project's technical effort and to develop the project's SEMP. Due to close alignment with the content of ISO/IEC 24748, ISO/IEC 26702 is now Part 4 of the multi-part International Standard, ISO/IEC 24748 (Systems and software engineering -- Life cycle management). 517 $a24748-4-2016 - ISO/IEC/IEEE International Standard for Systems and Software Engineering -- Life Cycle Management -- Part 4 517 $aISO/IEC/IEEE 24748-4 First edition 2016-05-15 606 $aSystems engineering$xManagement 606 $aProduct life cycle 606 $aConfiguration management 615 0$aSystems engineering$xManagement. 615 0$aProduct life cycle. 615 0$aConfiguration management. 676 $a620.001171 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a9910440192503321 996 $aISO$91086301 997 $aUNINA