01171nam0-2200385li-450 99000026677020331620180312154915.00-07-707640-00026677USA010026677(ALEPH)000026677USA01002667720001109d1995----km-y0itay0103----baengGBSafer Cdevelopping software for high-integrity and safety-critical systemsLes HattonLondon [etc.]McGraw-Hill Internationalcopyr. 1995XII, 228 p.ill.25 cmlinguaggio csicurezza dei datisoftwaresvilupposoftwareverifica005133Specifici linguaggi di programmazioneHatton,Les754889Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000266770203316005.133 HAT0024235BKSCI1999010220001110USA01171620020403USA011635PATRY9020040406USA011619Safer C1519277UNISA00840nam a2200217 i 4500991001293499707536110701s1949 it a b 000 0 ita b1399167x-39ule_instDip.to SSCita016.945211Milano nei suoi libri e nelle sue stampe :catalogo /[Prefazione di Raffaele Calzini]Milano :Libreria antiquaria Hoepli /[1949]322 p.ill. 25 cmMilanoBibliografiaCatalogoCalzini, Raffaele.b1399167x01-07-1101-07-11991001293499707536LE021 CG27BISC61le023Fondo D'Amico-E0.00-no 00000.i1529017701-07-11Milano nei suoi libri e nelle sue stampe247505UNISALENTOle02101-07-11ma -itait 0003633nam 22006495 450 99630909050331620190708092533.03-486-70303-X10.1524/9783486703030(CKB)3460000000003597(EBL)1345222(OCoLC)879549844(SSID)ssj0000733620(PQKBManifestationID)11421566(PQKBTitleCode)TC0000733620(PQKBWorkID)10716392(PQKB)11211165(MiAaPQ)EBC1345222(DE-B1597)217175(OCoLC)979947707(DE-B1597)9783486703030(oapen)https://directory.doabooks.org/handle/20.500.12854/53046(EXLCZ)99346000000000359720190708d2010 fg gerur|n|---|||||txtccrMedizinisches Ethos und theologische Ethik Karl und Dietrich Bonhoeffer in der Auseinandersetzung um Zwangssterilisation und "Euthanasie" im Nationalsozialismus /Uwe GerrensReprint 2015De Gruyter1996Berlin ;Boston : Oldenbourg Wissenschaftsverlag, [2010]©19961 online resource (218 p.)Schriftenreihe der Vierteljahrshefte für Zeitgeschichte ;73Description based upon print version of record.3-486-64573-0 Includes bibliographical references and index.Frontmatter -- Inhalt -- Vorwort -- Einleitung -- I. Die Herausforderung durch die nationalsozialistische Rassenpolitik -- II. Die Reaktion im Handeln des Mediziners -- III. Die Reaktion in der ethischen Theoriebildung des Theologen -- IV. Die Bedeutung von Dietrich Bonhoeffers ethischen Überlegungen für die Medizinethik -- V. Zusammenfassung -- Anhang: Sterilisationsstatistik -- Abkürzungen -- Quellen und Literatur -- Personenregister -- BackmatterKarl Bonhoeffer war einer der bedeutendsten deutschen Neurologen und Psychiater des 20. Jahrhunderts. Sein Sohn, der Theologe Dietrich Bonhoeffer, beteiligte sich in seinen letzten Lebensjahren am Widerstand gegen das NS-Regime und wurde 1945 hingerichtet. Uwe Gerrens untersucht, wie der Mediziner und der Theologe auf das nationalsozialistische Programm der Zwangssterilisation und die so genannte Euthanasie reagierten. Anhand der Quellen wird deutlich, wie der Mediziner Karl Bonhoeffer als Vorsitzender des Deutschen Vereins für Psychiatrie und Klinikleiter in der Charité Verantwortung für seine Patienten übernahm und sich an deren Persönlichkeitsrechten orientierte. Der Theologe Dietrich Bonhoeffer setzte sich in einer dicht geschriebenen "Ethik" mit dieser Problematik auseinander und entwickelte eine Theorie der Verantwortungsethik und der Menschenrechte.Schriftenreihe der Vierteljahrshefte für Zeitgeschichte ;Band 73.EuthanasiaMoral and ethical aspectsEuthanasiaGermanyHistory20th centuryInvoluntary sterilizationMoral and ethical aspectsGermanyHistory20th centuryEuthanasiaMoral and ethical aspects.EuthanasiaHistoryInvoluntary sterilizationMoral and ethical aspectsHistory179.7BK 6130rvkGerrens Uwe, 995747DE-B1597DE-B1597BOOK996309090503316Medizinisches Ethos und theologische Ethik2281661UNISA04147nam 22006375 450 991035020630332120200630140204.0981-13-7997-110.1007/978-981-13-7997-0(CKB)5340000000061424(MiAaPQ)EBC5919677(DE-He213)978-981-13-7997-0(MiAaPQ)EBC31870647(Au-PeEL)EBL31870647(EXLCZ)99534000000006142420190802d2019 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierProof Theory and Algebra in Logic /by Hiroakira Ono1st ed. 2019.Singapore :Springer Singapore :Imprint: Springer,2019.1 online resource (164 pages)Short Textbooks in Logic,2522-5480981-13-7996-3 Includes bibliographical references and index.Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index.This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed in the second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.Short Textbooks in Logic,2522-5480LogicLogic, Symbolic and mathematicalAlgebraOrdered algebraic structuresLogichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Order, Lattices, Ordered Algebraic Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/M11124Logic.Logic, Symbolic and mathematical.Algebra.Ordered algebraic structures.Logic.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.Order, Lattices, Ordered Algebraic Structures.511.3Ono Hiroakiraauthttp://id.loc.gov/vocabulary/relators/aut990529MiAaPQMiAaPQMiAaPQBOOK9910350206303321Proof Theory and Algebra in Logic2266027UNINA