LEADER 01362cas1a2200433-a-4500 001 990002824580203316 005 20061010160834.0 011 $a1531-2194 035 $a000282458 035 $aUSA01000282458 035 $a(ALEPH)000282458USA01 035 $a000282458 100 $a20061009d--------km-y0itay50------ba 101 $aeng 102 $aUS 105 $a||||||||001yy 110 $aafaz---0-z- 200 1 $aConstruction law digest$fSteven G.M. Stein editor-in-chief 210 0 $a[New York]$cLEXIS Nexis 215 $av.$d28 cm$eCD-ROM$e1 v. 300 $aDescrizione basata su : maggio 2006 300 $aTit. del v.: Construcion law - Appendix of forms 326 $aMensile 606 0 $aContratti di edilizia$xDiritto$yStati uniti d'America 606 0$aEdilizia$xLegislazione$zStati uniti d'America 676 $a343.7307869 700 1 $aSTEIN,$bSteven G.M.$0594992 801 0$aIT$bsalbc$gISBD 801 0$aIT$bsalbc$gISBD 912 $a990002824580203316 958 $aGIU$bIG XXI 999$cmaggio 2006- 959 $aSE 979 $aPATRY$b90$c20061009$lUSA01$h1737 979 $aPATRY$b90$c20061010$lUSA01$h1519 979 $aPATRY$b90$c20061010$lUSA01$h1556 979 $aPATRY$b90$c20061010$lUSA01$h1607 979 $aPATRY$b90$c20061010$lUSA01$h1608 996 $aConstruction law digest$9993798 997 $aUNISA LEADER 00981oam 2200325z- 450 001 9910466528603321 005 20210111174048.0 010 $a0-8166-5296-1 035 $a(CKB)3710000001409227 035 $a(MiAaPQ)EBC310568 035 $a(EXLCZ)993710000001409227 100 $a20170918cuuuuuuuu -u- - 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHacker culture /$fDouglas Thomas 210 $aMinneapolis $cUniversity of Minnesota Press$dİ2002 215 $a1 online resource (xxvii, 266 pages) $cillustrations 311 $a0-8166-3345-2 311 $a0-8166-3346-0 606 $aComputer programming$xMoral and ethical aspects 606 $aHackers 615 0$aComputer programming$xMoral and ethical aspects. 615 0$aHackers. 700 $aThomas$b Douglas$f1966-$0933650 906 $aBOOK 912 $a9910466528603321 996 $aHacker culture$92101957 997 $aUNINA LEADER 03629nam 22005175 450 001 9910548181603321 005 20220322135213.0 010 $a9783030673963$b(electronic bk.) 010 $z9783030673956 024 7 $a10.1007/978-3-030-67396-3 035 $a(MiAaPQ)EBC6893376 035 $a(Au-PeEL)EBL6893376 035 $a(CKB)21281948000041 035 $a(DE-He213)978-3-030-67396-3 035 $a(EXLCZ)9921281948000041 100 $a20220221d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSymbolic Logic /$fby Odysseus Makridis 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Palgrave Macmillan,$d2022. 215 $a1 online resource (493 pages) 225 1 $aPalgrave Philosophy Today,$x2947-9347 311 08$aPrint version: Makridis, Odysseus Symbolic Logic Cham : Springer International Publishing AG,c2022 9783030673956 320 $aIncludes bibliographical references and index. 327 $a1. What Logic Studies -- 2. Concepts of Deductive Reasoning -- 3. Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic) -- 4. Sentential Logic Languages ? -- 5. Formal Predicate Logic (also called First-Order Logic) ? -- 6. Translations from English into ???= (also called Symbolizations, Formalizations) -- 7. Semantic Models for ?: ?? -- 8. Proof-Theoretical System for Predicate Logic: ???= -- 9. Definite Descriptions: ???=? -- 10. Basics of Set Theory. 330 $aThis book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: · The characteristic nature and scope of logic as a discipline · The construction of a series of distinctly named formal languages suitable for formal translation · Semantic models · The construction of decision procedures · The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems The book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Other topics covered include: parsing trees, extraction of alternative notations (for instance, Polish notation), Fitch-style proof-theory, sequent and 'tree' proof systems, comparisons and contrasts with intuitionistic logic, and presentations of predicate logic models. An ancillary chapter on elements of set theory is conveniently placed at the end and includes insights into the Zermelo-Fraenkel systematization of set theory. The philosophy of logic is also explored. Exercises in the text provide instruction on mathematical induction for the construction of formula, tests for the well-formedness of Polish notation, and functional completeness. Symbolic Logic is essential reading for all philosophy students taking intermediate level formal logic courses and will also appeal to diligent first year students of logic. The text is replete with exercises on both the formal machinery and the philosophical aspects of logic. 410 0$aPalgrave Philosophy Today,$x2947-9347 606 $aLogic 606 $aFormal Logic 606 $aPhilosophical Logic 615 0$aLogic. 615 14$aFormal Logic. 615 24$aPhilosophical Logic. 676 $a160 676 $a160 700 $aMakridis$b Odysseus$01208258 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910548181603321 996 $aSymbolic Logic$92787460 997 $aUNINA LEADER 05497nam 2200745Ia 450 001 9910965270403321 005 20251117095322.0 010 $a1-136-44574-9 010 $a1-136-44575-7 010 $a0-203-12457-X 024 7 $a10.4324/9780203124574 035 $a(CKB)2550000000096394 035 $a(EBL)956902 035 $a(OCoLC)798532429 035 $a(SSID)ssj0000678440 035 $a(PQKBManifestationID)11365625 035 $a(PQKBTitleCode)TC0000678440 035 $a(PQKBWorkID)10727036 035 $a(PQKB)11343514 035 $a(MiAaPQ)EBC956902 035 $a(Au-PeEL)EBL956902 035 $a(CaPaEBR)ebr10545421 035 $a(CaONFJC)MIL761239 035 $a(OCoLC)787851081 035 $a(FINmELB)ELB134675 035 $a(EXLCZ)992550000000096394 100 $a20110909d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aMuseum making $enarratives, architectures, exhibitions /$fedited by Suzanne MacLeod, Laura Hourston Hanks, and Jonathan Hale 205 $a1st ed. 210 $aLondon ;$aNew York $cRoutledge$d2012 210 1$aAbingdon, Oxon [England] ;$aNew York, NY :$cRoutledge,$d2012. 215 $a1 online resource (357 p.) 225 1 $aMuseum meanings 300 $aDescription based upon print version of record. 311 08$a0-415-67603-7 311 08$a0-415-67602-9 320 $aIncludes bibliographical references and index. 327 $aFront Cover; Museum Making; Copyright Page; Contents; List of illustrations; List of contributors; Acknowledgements; Introduction: Museum making: the place of narrative: Laura Hourston Hanks, Jonathan Hale and Suzanne MacLeod; Part I: Narrative, space, identity; Introduction; 1. Imaginary museums: what mainstream museums can learn from them: Rachel Morris; 2. Staging exhibitions: atmospheres of imagination: Greer Crawley; 3. Writing spatial stories: textual narratives in the museum: Laura Hourston Hanks 327 $a4. Athens, London or Bilbao? Contested narratives of display in the Parthenon galleries of the British Museum: Christopher R. Marshall5. This magical place: the making of Yorkshire Sculpture Park and the politics of landscape, art and narrative: Suzanne MacLeod; 6. Narrative space: three post-apartheid museums reconsidered: Nic Coetzer; 7. The museum as narrative witness: heritage performance and the production of narrative space: Jenny Kidd; 8. Beyond narrative: designing epiphanies: Lee H. Skolnick; 9. Place, time and memory: Stephen Greenberg; Part II: Narrative, perception, embodiment 327 $aIntroduction10. Scales of narrativity: Tricia Austin; 11. City as museum, museum as city: mediating the everyday and special narratives of life: Dorian Wiszniewski; 12. Narrative transformations and the architectural artefact: Stephen Alexander Wischer; 13. Architecture for the nation's memory: history, art, and the halls of Norway's national gallery: Mattias Ekman; 14. Arsenic, wells and herring curing: making new meanings in an old fish factory: Sheila Watson, Rachel Kirk and James Steward; 15. Accessing Estonian memories: building narratives through game form: Candice Hiu-Lam Lau 327 $a16. Narrative landscapes: James Furse-Roberts17. Narrative environments and the paradigm of embodiment: Jonathan Hale; Part III: Narrative, media, mediation; Introduction; 18. Narrative space: The Book of Lies: Paola Zellner; 19. Productive exhibitions: looking backwards to go forward: Florian Kossak; 20. Incomplete stories: Annabel Fraser and Hannah Coulson; 21. In the museum's ruins: staging the passage of time: Michaela Giebelhausen; 22. Meaningful encounters with disrupted narratives: artists' interventions as interpretive strategies: Claire Robins and Miranda Baxter 327 $a23. Where do you want the label? The roles and possibilities of exhibition graphics: Jona Piehl and Suzanne MacLeod24. The narrative of technology: understanding the effect of New Media artwork in the museum: Peter Ride; 25. The thick present: architecture, narration and film: Samantha L. Martin-McAuliffe and Nathalie Weadick; 26. A narrative journey: creating storytelling environments with architecture and digital media: Tom Duncan and Noel McCauley; Select bibliography; Index 330 $aOver recent decades, many museums, galleries and historic sites around the world have enjoyed an unprecedented level of large-scale investment in their capital infrastructure, in building refurbishments and new gallery displays. This period has also seen the creation of countless new purpose-built museums and galleries, suggesting a fundamental re-evaluation of the processes of designing and shaping of museums.Museum Making: Narratives, Architectures, Exhibitions examines this re-making by exploring the inherently spatial character of narrative in the museum and its potentia 410 0$aMuseum meanings. 517 3 $aNarratives, architectures, exhibitions 606 $aMuseum architecture 606 $aCommunication in architecture 615 0$aMuseum architecture. 615 0$aCommunication in architecture. 676 $a727/.6 701 $aMacleod$b Suzanne$0310051 701 $aHourston Hanks$b Laura$01876896 701 $aHale$b Jonathan$01876897 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910965270403321 996 $aMuseum making$94488785 997 $aUNINA