LEADER 03583nam 2200589 a 450 001 9910465602003321 005 20200520144314.0 010 $a0-19-151444-6 010 $a1-280-90483-6 035 $a(CKB)2560000000294998 035 $a(EBL)422433 035 $a(OCoLC)476257090 035 $a(SSID)ssj0000223796 035 $a(PQKBManifestationID)11173383 035 $a(PQKBTitleCode)TC0000223796 035 $a(PQKBWorkID)10182709 035 $a(PQKB)11199762 035 $a(StDuBDS)EDZ0000022241 035 $a(MiAaPQ)EBC422433 035 $a(Au-PeEL)EBL422433 035 $a(CaPaEBR)ebr10177871 035 $a(CaONFJC)MIL90483 035 $a(EXLCZ)992560000000294998 100 $a20050920d2006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aPolitics and culture in Victorian Britain$b[electronic resource] $eessays in memory of Colin Matthew /$fedited by Peter Ghosh and Lawrence Goldman 210 $aOxford ;$aNew York $cOxford University Press$d2006 215 $a1 online resource (274 p.) 300 $aDescription based upon print version of record. 311 $a0-19-925345-5 311 $a0-19-169814-8 320 $aIncludes bibliographical references and index. 327 $aA brief word on "politics" and "culture" / Peter Ghosh and Lawrence Goldman -- Colin Matthew (1941-1999) / Boyd Hilton -- Colin Matthew : a memoir / Ross McKibbin -- Colin Matthew : a bibliography / Peter Ghosh and Lawrence Goldman -- Gladstone and Peel / Peter Ghosh -- Gladstone and a liberal theory of international relations / Martin Ceadel -- The enfranchisement of the urban poor in late-Victorian Britain / John Davis -- The defection of the middle class : the Endowed Schools Act, the Liberal Party and the 1874 election / Lawrence Goldman -- Liberal passions : reason and emotion in late- and post-Victorian liberal thought / Michael Freeden -- The Church of England and women's higher education, c. 1840-1914 / Janet Howarth -- Protestant histories : James Anthony Froude, partisanship, and national identity / Jane Garnett -- Roman candles : Catholic converts among authors in late-Victorian and Edwardian Britain / Philip Waller -- Scenes from professional life : medicine, moral conduct, and interconnectedness in Middlemarch / Margaret Pelling -- Victorian interpretations of Thomas Hobbes / Jose Harris. 330 $aHow and why should we study Victorian Britain? The answer to this question used to be quite straightforward. It was the Victorian contribution to modern politics which stood out above all else. Today we are not so sure. This book suggest that politics are still central, but must be more broadly construed, as a pervasive part of Victorian culture as a whole. - ;In the last twenty years one of the classical arenas for British historical writing - the politics of Victorian Britain - has ceased to be an obvious or self-evidently important subject. Facing up to this challenge, the historians who ha 607 $aGreat Britain$xPolitics and government$y1837-1901 607 $aGreat Britain$xCivilization$y19th century 608 $aElectronic books. 676 $a306.20941/09034 701 $aGhosh$b Peter$0522956 701 $aGoldman$b Lawrence$f1957-$0119410 701 $aMatthew$b H. C. G$g(Henry Colin Gray)$0920601 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910465602003321 996 $aPolitics and culture in Victorian Britain$92085720 997 $aUNINA LEADER 04583nam 22005295 450 001 9910522937403321 005 20251225213448.0 010 $a3-030-93100-5 024 7 $a10.1007/978-3-030-93100-1 035 $a(MiAaPQ)EBC6827704 035 $a(Au-PeEL)EBL6827704 035 $a(OCoLC)1289369779 035 $a(CKB)20151338900041 035 $a(PPN)259385115 035 $a(BIP)82599548 035 $a(BIP)82299229 035 $a(DE-He213)978-3-030-93100-1 035 $a(EXLCZ)9920151338900041 100 $a20211215d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogical Foundations of Computer Science $eInternational Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10?13, 2022, Proceedings /$fedited by Sergei Artemov, Anil Nerode 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (386 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13137 311 08$aPrint version: Artemov, Sergei Logical Foundations of Computer Science Cham : Springer International Publishing AG,c2022 9783030930998 327 $aA Non-Hyperarithmetical Gödel Logic -- Shorten Resolution Proofs Non-Elementarily -- The Isomorphism Problem for FST Injection Structures -- Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic -- Hyperarithmetical Worm Battles -- Parametric Church?s Thesis: Synthetic Computability Without Choice -- Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic -- A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance -- A Parameterized View on the Complexity of Dependence Logic -- A Logic of Interactive Proofs -- Recursive Rules With Aggregation: A Simple Unified Semantics -- Computational Properties of Partial Non-deterministic Matrices and Their Logics -- Soundness and Completeness Results for LEA and Probability Semantics -- On Inverse Operators in Dynamic Epistemic Logic -- Computability Models Over Categories and Presheaves -- Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability -- Between Turing and Kleene -- Propositional Dynamic Logic With Quantification Over Regular Computation Sequences -- Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic -- Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems -- Logical Principles -- Small Model Property Reflects in Games and Automata. 330 $aThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13137 606 $aLogic, Symbolic and mathematical 606 $aMathematical Logic and Foundations 615 0$aLogic, Symbolic and mathematical. 615 14$aMathematical Logic and Foundations. 676 $a005.1015113 700 $aArtemov$b Sergei$01080720 702 $aNerode$b Anil 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910522937403321 996 $aLogical foundations of computer science$92910220 997 $aUNINA