LEADER 01845nam 2200517 a 450 001 9911006807803321 005 20240416180045.0 010 $a1-68015-493-1 010 $a1-60427-684-3 035 $a(CKB)2670000000091906 035 $a(OCoLC)719387473 035 $a(CaPaEBR)ebrary10520080 035 $a(SSID)ssj0000472414 035 $a(PQKBManifestationID)12188001 035 $a(PQKBTitleCode)TC0000472414 035 $a(PQKBWorkID)10435175 035 $a(PQKB)10108292 035 $a(MiAaPQ)EBC3319473 035 $a(Au-PeEL)EBL3319473 035 $a(CaPaEBR)ebr10520080 035 $a(OCoLC)929117228 035 $a(EXLCZ)992670000000091906 100 $a20091029d2010 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProject management the agile way$b[electronic resource] $emaking it work in the enterprise /$fJohn C. Goodpasture 210 $aFt. Lauderdale, Fla. $cJ. Ross Pub.$dc2010 215 $a1 online resource (377 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-60427-027-6 320 $aIncludes bibliographical references and index. 327 $aA quick read -- The agile business case -- Quality in the agile space -- Managing test -- Developing the scope and requirements -- Planning cost and schedule -- Estimating cost and schedule -- Teams are everything -- Governance -- Earning value -- Scaling up and contracting -- Benefit realization. 606 $aProject management 615 0$aProject management. 676 $a658.4/04 700 $aGoodpasture$b John C.$f1943-$01662148 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911006807803321 996 $aProject management the agile way$94391174 997 $aUNINA LEADER 04424nam 22005895 450 001 9910754088803321 005 20251008143618.0 010 $a9783031407147 010 $a3031407148 024 7 $a10.1007/978-3-031-40714-7 035 $a(MiAaPQ)EBC30795566 035 $a(Au-PeEL)EBL30795566 035 $a(CKB)28527608300041 035 $a(DE-He213)978-3-031-40714-7 035 $a(EXLCZ)9928527608300041 100 $a20231018d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFirst-Order Modal Logic /$fby Melvin Fitting, Richard L. Mendelsohn 205 $a2nd ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (464 pages) 225 1 $aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x2542-8292 ;$v480 311 08$aPrint version: Fitting, Melvin First-Order Modal Logic Cham : Springer International Publishing AG,c2023 9783031407130 327 $aPreface -- Acknowledgments -- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language -- 2. Background: Propositional Axiomatics -- 3. Background: Propositional Tableaus -- Part II. Propositional Modal Logic. 4. Modal Logic, an Introduction -- 5. Propositional Modal Logic -- 6. Propositional Modal Axiom Systems -- 7. Propositional Modal Tableaus -- Part III. First-Order Modal Logic. 8. Quantified Modal Logic -- 9. First-Order Modal Tableaus -- 10. First-Order Modal Axiomatics -- Part IV. Equality and Existence. 11. Equality -- 12. Existence -- Part V. Predicate Abstraction and Scope. 13. Predicate Abstraction, Informally -- 14. Predicate Abstraction, Formally -- 15. Tableaus for Predicate Abstraction -- 16. Tableau Soundness and Completeness. Part VI. Applications. 17. Equality and Predicate Abstraction -- 18. Designation -- 19. Rigidity -- 20. Definite Descriptions -- Afterward. 330 $aThis revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms. Review of the First Edition: "This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended." (Bulletin of Symbolic Logic, 8:3). 410 0$aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x2542-8292 ;$v480 606 $aLogic 606 $aLogic, Symbolic and mathematical 606 $aComputational linguistics 606 $aLogic 606 $aMathematical Logic and Foundations 606 $aComputational Linguistics 615 0$aLogic. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputational linguistics. 615 14$aLogic. 615 24$aMathematical Logic and Foundations. 615 24$aComputational Linguistics. 676 $a160 700 $aFitting$b Melvin$046831 701 $aMendelsohn$b Richard L$01434308 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910754088803321 996 $aFirst-Order Modal Logic$93587960 997 $aUNINA