LEADER 03110nam 2200649Ia 450 001 9910455474703321 005 20200520144314.0 010 $a1-280-44330-8 010 $a9786610443307 010 $a0-19-535983-6 010 $a0-585-35829-X 035 $a(CKB)111004366526824 035 $a(EBL)271659 035 $a(OCoLC)466425524 035 $a(SSID)ssj0000177903 035 $a(PQKBManifestationID)11170182 035 $a(PQKBTitleCode)TC0000177903 035 $a(PQKBWorkID)10219236 035 $a(PQKB)10887632 035 $a(MiAaPQ)EBC271659 035 $a(Au-PeEL)EBL271659 035 $a(CaPaEBR)ebr10086864 035 $a(CaONFJC)MIL44330 035 $a(OCoLC)935260540 035 $a(EXLCZ)99111004366526824 100 $a19971218d1998 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aIn the light of logic$b[electronic resource] /$fSolomon Feferman 210 $aNew York $cOxford University Press$dc1998 215 $a1 online resource (353 p.) 225 1 $aLogic and computation in philosophy 300 $aDescription based upon print version of record. 311 $a0-19-508030-0 320 $aIncludes bibliographical references (p. 309-330) and index. 327 $aContents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GO?DEL; 6 Go?del's life and work; 7 Kurt Go?del: Conviction and caution; 8 Introductory note to Go?del's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics 327 $a11 Go?del's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z 330 $aThis volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing. 410 0$aLogic and computation in philosophy. 606 $aLogic, Symbolic and mathematical 606 $aMathematics 608 $aElectronic books. 615 0$aLogic, Symbolic and mathematical. 615 0$aMathematics. 676 $a510.1 676 $a511.3 700 $aFeferman$b Solomon$046715 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455474703321 996 $aIn the light of logic$92296552 997 $aUNINA LEADER 04110nam 2200721 450 001 9910782346003321 005 20220204092359.0 010 $a1-281-79410-4 010 $a9786611794101 010 $a1-84742-341-8 035 $a(CKB)1000000000552383 035 $a(EBL)419263 035 $a(OCoLC)519416433 035 $a(SSID)ssj0000297262 035 $a(PQKBManifestationID)11220163 035 $a(PQKBTitleCode)TC0000297262 035 $a(PQKBWorkID)10333399 035 $a(PQKB)10284393 035 $a(Au-PeEL)EBL419263 035 $a(CaPaEBR)ebr10281241 035 $a(CaONFJC)MIL179410 035 $a(OCoLC)828182872 035 $a(MdBmJHUP)musev2_80132 035 $a(UkCbUP)CR9781847423412 035 $a(DE-B1597)647196 035 $a(DE-B1597)9781847423412 035 $a(MiAaPQ)EBC419263 035 $a(EXLCZ)991000000000552383 100 $a20220111d2008|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGender equality and welfare politics in Scandinavia $ethe limits of political ambition? /$fedited by Kari Melby, Anna Birte-Ravn and Christina Carlsson Wetterberg$b[electronic resource] 205 $aPbk. ed. 210 1$aBristol, UK :$cPolicy Press,$d2008. 215 $a1 online resource (xi, 244 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 24 Jan 2022). 311 $a1-84742-066-4 320 $aIncludes bibliographical references and index. 327 $aA Nordic model of gender equality? : introduction / Kari Melby, Anna-Birte Ravn, and Christina Carlsson Wetterberg -- Woman-friendly policy paradoxes? : childcare policies and gender equality visions in Scandinavia / Anette Borchorst -- The claim of economic citizenship : the concept of equality in a historical context / Christina Carlsson Wetterberg and Kari Melby -- Married women's right to pay taxes : debates on gender, economic citizenship, and tax law reform in Denmark, 1945-83 / Anna-Birte Ravn -- Family policy between science and politics / A?sa Lundqvist -- Academic discourse, social policy, and the construction of new families / Christine Roman -- The 'new father' : gender equality as discursive resource for family policies / Trine Annfelt -- From powerful to powerless fathers : gender equality in Danish family policies on parenthood / Charlotte Andersen and Anna-Birte Ravn -- Dilemmas on citizenship : tensions between gender equality and cultural diversity in the Danish welfare state / Birte Siim -- Women friendly? : understanding gendered racism in Sweden / Diana Mulinari -- Young women's attitudes towards feminism and gender equality / Ann-Dorte Christensen -- A Scandinavian feminist public sphere : discourses on feminism and gender equality / Christina Fiig -- Gender, citizenship, and social justice in the Nordic welfare states : a view from the outside / Ruth Lister -- Future research on gender equality in the Scandinavian countries / Keith Pringle. 330 $a This book examines the meanings of gender that underpin policies in the Scandinavian welfare states, historically and today, and raises the question whether the hallmark of the Scandinavian welfare model is a special combination of gender equality and gender differentiation. 606 $aFamily policy$zScandinavia 606 $aSex discrimination$zScandinavia 606 $aEquality$zScandinavia 606 $aGender mainstreaming$zScandinavia 607 $aScandinavia$xSocial policy 615 0$aFamily policy 615 0$aSex discrimination 615 0$aEquality 615 0$aGender mainstreaming 676 $a305.40948 702 $aMelby$b Kari 702 $aRavn$b Anna-Birte 702 $aWetterberg$b Christina Carlsson$f1950- 712 02$aUPSO (University Press Scholarship Online). 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910782346003321 996 $aGender equality and welfare politics in Scandinavia$93680132 997 $aUNINA