LEADER 02324nas 2200505-a 450 001 9910141406103321 005 20201201215444.0 011 $a2287-3139 035 $a(OCoLC)888378321 035 $a(CKB)2670000000274519 035 $a(CONSER)--2014243534 035 $a(DE-599)ZDB3019808-2 035 $a(NjHacI)992670000000274519 035 $a(EXLCZ)992670000000274519 100 $a20120725a20129999 --- - 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cn$2rdamedia 183 $acr$2rdacarrier 200 00$aJournal of cerebrovascular and endovascular neurosurgery 210 $aSeoul $cKorean Society of Cerebrovascular Surgeons 210 1$aSeoul :$cKorean Society of Cerebrovascular Surgeons,$d2012. 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$a2234-8565 327 $aOriginal Articles -- Intraarterial Tirofiban Thrombolysis for Thromboembolisms During Coil Embolization for Ruptured Intracranial Aneurysms -- Cognitive Function of Korean Neurosurgical Patients: Cross-sectional Study Using the Korean Version of the Mini-mental Status Examination -- Clinical Analysis of Giant Intracranial Aneurysms with Endovascular Embolization -- Endovascular and Microsurgical Treatment of Superior Cerebellar Artery Aneurysms -- Image Findings in Brain Developmental Venous Anomalies -- Case Report -- Coil Embolization of a Ruptured Basilar Tip Aneurysm Associated with Bilateral Cervical Internal Carotid Artery Occlusion: A Case Report and Literature Review. 606 $aCerebrovascular disease$xSurgery$vPeriodicals 606 $aCerebrovascular Disorders$xsurgery 606 $aNeurosurgical Procedures$xmethods 606 $aEndovascular Procedures$xmethods 608 $aPeriodical. 615 0$aCerebrovascular disease$xSurgery 615 12$aCerebrovascular Disorders$xsurgery. 615 12$aNeurosurgical Procedures$xmethods. 615 22$aEndovascular Procedures$xmethods. 676 $a617.48 712 02$aTaehan Noe Hy?lgwan Oegwa Hakhoe. 712 02$aTaehan Noe Hy?lgwannae Susul Hakhoe. 801 0$bNjHacI 801 1$bNjHacl 906 $aJOURNAL 912 $a9910141406103321 996 $aJournal of cerebrovascular and endovascular neurosurgery$92243943 997 $aUNINA LEADER 03706nam 22006375 450 001 9910484070503321 005 20251113212505.0 010 $a3-030-56554-8 024 7 $a10.1007/978-3-030-56554-1 035 $a(CKB)4100000011515530 035 $a(DE-He213)978-3-030-56554-1 035 $a(MiAaPQ)EBC6380775 035 $a(MiAaPQ)EBC6647476 035 $a(Au-PeEL)EBL6380775 035 $a(OCoLC)1225937380 035 $a(Au-PeEL)EBL6647476 035 $a(PPN)269144951 035 $a(EXLCZ)994100000011515530 100 $a20201020d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDecidability of Logical Theories and Their Combination /$fby João Rasga, Cristina Sernadas 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2020. 215 $a1 online resource (XIII, 178 p. 70 illus., 1 illus. in color.) 225 1 $aStudies in Universal Logic,$x2297-0290 311 08$a3-030-56553-X 320 $aIncludes bibliographical references and index. 327 $aChapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index. 330 $aThis textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field. Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination. 410 0$aStudies in Universal Logic,$x2297-0290 606 $aLogic, Symbolic and mathematical 606 $aMachine theory 606 $aMathematics$xPhilosophy 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aPhilosophy of Mathematics 615 0$aLogic, Symbolic and mathematical. 615 0$aMachine theory. 615 0$aMathematics$xPhilosophy. 615 14$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aPhilosophy of Mathematics. 676 $a511.3 700 $aRasga$b Joa?o$0845263 702 $aSernadas$b Cristina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484070503321 996 $aDecidability of Logical Theories and Their Combination$91886075 997 $aUNINA