.a-box-inner{padding-left:3.8rem;text-align:center}.sh-dp-required-devices .sh-heading{margin-bottom:.9rem;text-align:center}.sh-dp-required-devices .sh-list-horizontal-row{margin:0 auto}.sh-dp-required-devices .sh-list-horizontal-row .sh-img{max-height:7.2rem;max-width:7.2rem}.sh-dp-why-hub{border:0}.sh-dp-why-hub .sh-img{max-height:21.6rem}.sh-dp-why-hub .sh-link{text-decoration:none}.sh-dp-why-hub .sh-link:active,.sh-dp-why-hub .sh-link:hover,.sh-dp-why-hub .sh-link:link,.sh-dp-why-hub .sh-link:visited{text-decoration:none}.sh-dp-or-for-sonar{margin-top:.9rem;margin-bottom:.9rem}.sh-dp-or-for-sonar .sh-heading{text-align:center}.sh-dp-recommendations{margin-top:1.3rem}.sh-dp-recommendations .sh-heading{margin-bottom:1.3rem}.sh-dp-recommendations hr{margin-top:1.3rem}.sh-dp-recommendations .sh-carousel-devices-device{text-align:left}.sh-dp-more-details-video{overflow:hidden}.sh-dp-more-details-video .sh-video{display:block;max-width:100%;object-fit:cover;background:0 0}.sh-dp-more-details-body{border:0;border-radius:0;background-clip:padding-box;background:0 0}.sh-dp-more-details-body .sh-divider,.sh-dp-more-details-body .sh-img{margin-bottom:1.3rem}.sh-dp-more-details-body .sh-img{max-height:5.04rem}.sh-dp-more-details-body .sh-link{text-decoration:none}.sh-dp-more-details-body .sh-link:active,.sh-dp-more-details-body .sh-link:hover,.sh-dp-more-details-body .sh-link:link,.sh-dp-more-details-body .sh-link:visited{text-decoration:none}.sh-dp-not-certified{background:#f6f6f6}.sh-dp-not-certified .sh-trigger{display:block;margin-top:.5rem;font-size:1.3rem;line-height:1}.sh-dp-not-certified .sh-dp-alert{margin-bottom:2.1rem} The Power of Objectivism: Ayn Rand and John Galt and Atlas Shrugged and The Moralit... To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Please try again. .a-button.a-button-primary.primary-fresh-btn-flat,.a-button.primary-fresh-btn-flat{background:#b5d25e}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus,.a-button.a-button-primary.primary-fresh-btn-flat:focus,.a-button.primary-fresh-btn-flat.a-button-focus,.a-button.primary-fresh-btn-flat:focus{box-shadow:0 0 3px 2px rgba(111,160,13,.5)}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:focus,.a-button.a-button-primary.primary-fresh-btn-flat:after,.a-button.primary-fresh-btn-flat.a-button-focus:after,.a-button.primary-fresh-btn-flat.a-button-primary:after,.a-button.primary-fresh-btn-flat.a-button-primary:focus,.a-button.primary-fresh-btn-flat:after{border-color:#6fa00d}.a-button.a-button-primary.primary-fresh-btn-flat .a-button-inner,.a-button.primary-fresh-btn-flat .a-button-inner{background:#b5d25e}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-disabled .a-button-inner,.a-button.primary-fresh-btn-flat.a-button-disabled .a-button-inner{background:#ebf5d6!important}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary.a-button-disabled:after,.a-button.primary-fresh-btn-flat.a-button-primary.a-button-disabled:after{border-color:#ebf5d6 #ebf5d6 #d8decc!important}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:focus,.a-button.a-button-primary.primary-fresh-btn-flat:after,.a-button.primary-fresh-btn-flat.a-button-focus:after,.a-button.primary-fresh-btn-flat.a-button-primary:after,.a-button.primary-fresh-btn-flat.a-button-primary:focus,.a-button.primary-fresh-btn-flat:after{border-color:transparent transparent #6fa00d}.atfc-conflict-dialog{max-width:270px}.atfc-slot-conflict-dialog{max-width:330px}.atfc-quantity-overflow-dialog{max-width:300px}.display-block{display:block}.width-44{width:44%!important}.atfc-spinner{background:url(https://images-na.ssl-images-amazon.com/images/G/01/navcart/spinner-white._V4_.gif) 50% 50% no-repeat;background-size:contain}.storeFrontButton{margin:20px 15px 0 15px}.storeIntroductionSheetBrandLogo{text-align:center;margin-top:15px}#offer-comparison-store-introduction-bottom-sheet-container{background-color:#eaeded}#offer-comparison-store-introduction-bottom-sheet-container .sisATCAlert{background-color:#fff}#offer-comparison-store-introduction-bottom-sheet-container .sisContent{margin:10px;background-color:#fff}#offer-comparison-store-introduction-side-sheet-container{position:fixed;overflow:visible!important;top:0;right:-610px;bottom:0;width:30%;min-width:400px;max-width:580px;background-color:#eaeded;z-index:290;box-shadow:-4px 0 5px rgba(0,0,0,.25)}#offer-comparison-store-introduction-side-sheet-container .sisCloseDiv{position:absolute;left:-30px;cursor:pointer}#offer-comparison-store-introduction-side-sheet-container .sisCloseButton{opacity:1;width:20px;height:30px;background-position:-350px -100px}#offer-comparison-store-introduction-side-sheet-container .sisATCAlert{background-color:#fff}#offer-comparison-store-introduction-side-sheet-container .sisContent{background-color:#fff}#offer-comparison-store-introduction-side-sheet-container .sisButton{min-width:40%}#offer-comparison-store-introduction-side-sheet-container .sisAdditionalContent{height:100%;background-color:#fff}#offer-comparison-store-introduction-side-sheet-background-container .sisBackground{opacity:.4;position:fixed;top:0;left:0;height:100%;width:100%;background-color:#000;z-index:280;cursor:pointer} I'm Done Funny Meme, Simple Micellar Gel Wash Cleanser, Weather In Cancun Next 10 Days, What Do You Wear In A Mental Hospital, Iowa City Tornado, Sony Wh-1000xm4 Release Date, " />

AmazonUIPageJS : P).when('atf').execute(function(){ The enjoyable book, fiction, history, … The opposite of logical is physical, which refers to the real organization of a system.For example, a logical description of a file is that it is a collection of data stored together. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. Logic in Computer Science: Modelling and Reasoning about Systems: Amazon.co.uk: Huth, Michael: 9780521543101: Books Summary. I read this book to learn the basics of model checking, and I found it an excellent introduction. Certainly classical predicate logic is the basic … } Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of … Access codes and supplements are not guaranteed with used items. Read Logic in Computer Science: Modelling and Reasoning about Systems book reviews & author details and more at Amazon.in. (window.AmazonUIPageJS ? Reviewed in the United States on March 16, 2005. AmazonUIPageJS : P).when('gestaltCustomizableProductDetailPage').execute(function(){ (window.AmazonUIPageJS ? Read Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift book reviews & author details and more at Amazon… Buy Modal Logic (Cambridge Tracts in Theoretical Computer Science) New Ed by Blackburn, Patrick (ISBN: 9780521527149) from Amazon's Book Store. See all formats and editions Hide other formats and editions. .discountPillWrapper{margin:0;font-size:13px;line-height:19px;display:inline-block;font-weight:400;cursor:pointer}.discountPillWrapper .pill{display:inline-block;position:relative;background:#ddd;color:#555;min-width:38px;z-index:0;text-align:center}.discountPillWrapper .pill.discountPillLeft{border-radius:10px 0 0 10px;margin-right:8px;padding:1px 2px 0 8px}.discountPillWrapper .pill.discountPillLeft.pillLightUp{background-color:#ffa723;color:#111}.discountPillWrapper .pill.discountPillRight{border-radius:0 10px 10px 0;padding:1px 8px 0 2px}.discountPillWrapper .pill.discountPillRight.pillLightUp{background-color:#ffa723;color:#111}.discountPillWrapper .pill.discountPill{border-radius:10px;padding:1px 8px 0 8px;min-width:42px;background:#ffa723}.discountPillWrapper .discountText{background-color:inherit;color:#111}.discountPillWrapper .discountTextLeft,.discountPillWrapper .discountTextRight{background-color:inherit}.discountPillWrapper .discountTextLeft:after,.discountPillWrapper .discountTextRight:after{position:absolute;top:0;width:10px;height:100%;transform:skew(-20deg);background-color:inherit;content:'';z-index:-1}.discountPillWrapper .discountTextLeft:after{right:-4px}.discountPillWrapper .discountTextRight:after{left:-4px}#onml-new-or-unrecognized-sns-customer-learn-more,#onml-non-tiered-learn-more,#onml-tiered-learn-more,#sns-non-tiered-learn-more,#sns-tiered-learn-more{display:inline-block}#onmlv2FormFields{border:0;padding:0;margin:0;border-collapse:collapse}#pe-fallback-msgbox .a-popover-trigger .a-icon-popover{display:none}.exclusively-prime-signup-button.a-button{border-color:#30718b #2b657c #26586c}.exclusively-prime-signup-button.a-button{background:#49ADD3}.exclusively-prime-signup-button.a-button .a-button-inner{background:#367e9b;background:-moz-linear-gradient(top,#4A8BA5 0,#367E9B 50%,#30718B 100%);background:-webkit-gradient(linear,left top,left bottom,color-stop(0,#4A8BA5),color-stop(.5,#367E9B),color-stop(1,#30718B));background:-webkit-linear-gradient(top,#4A8BA5 0,#367E9B 50%,#30718B 100%);background:-o-linear-gradient(top,#4A8BA5 0,#367E9B 50%,#30718B 100%);background:-ms-linear-gradient(top,#4A8BA5 0,#367E9B 50%,#30718B 100%);background:linear-gradient(to bottom,#4A8BA5 0,#367E9B 50%,#30718B 100%);filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#4A8BA5', endColorstr='#30718B', GradientType=0)}.exclusively-prime-signup-button.a-button .a-button-inner{-webkit-box-shadow:0 1px 0 rgba(255,255,255,.15) inset;-moz-box-shadow:0 1px 0 rgba(255,255,255,.15) inset;box-shadow:0 1px 0 rgba(255,255,255,.15) inset}.exclusively-prime-signup-button.a-button .a-button-text{color:#fff}.exclusively-prime-signup-button.a-button:hover{border-color:#2b657c #26586c #204c5d}.exclusively-prime-signup-button.a-button:hover .a-button-inner{background:#30718b;background:-moz-linear-gradient(top,#367E9B 0,#30718B 50%,#2B657C 100%);background:-webkit-gradient(linear,left top,left bottom,color-stop(0,#367E9B),color-stop(.5,#30718B),color-stop(1,#2B657C));background:-webkit-linear-gradient(top,#367E9B 0,#30718B 50%,#2B657C 100%);background:-o-linear-gradient(top,#367E9B 0,#30718B 50%,#2B657C 100%);background:-ms-linear-gradient(top,#367E9B 0,#30718B 50%,#2B657C 100%);background:linear-gradient(to bottom,#367E9B 0,#30718B 50%,#2B657C 100%);filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#367E9B', endColorstr='#2B657C', GradientType=0)}.exclusively-prime-signup-button.a-button:active{border-color:#26586c #204c5d #204c5d}.exclusively-prime-signup-button.a-button:active .a-button-inner{background:#30718b;background-image:none;filter:none;-webkit-box-shadow:0 1px 3px rgba(0,0,0,.2) inset;-moz-box-shadow:0 1px 3px rgba(0,0,0,.2) inset;box-shadow:0 1px 3px rgba(0,0,0,.2) inset}.a-mom-link-row{padding-left:45px}#snsPitchPrice_feature_div{display:none;visibility:hidden}#priceblock_snsprice_row{display:none;visibility:hidden}#onmlPriceBlockUpsellText{display:none;visibility:hidden}.snsCompactDropdowns{white-space:nowrap}.snsCompactDropdowns .a-dropdown-label{font-weight:700}.momPopoverFooter{border-top:1px solid #CCC;padding-top:10px;margin-top:10px} (window.AmazonUIPageJS ? Online shopping for Books from a great selection of Cryptography, Fuzzy Logic, Genetic, Pattern Recognition, Digital Image Processing, Compression & more at everyday low prices. Free delivery on qualified orders. #preRegistration-container .a-icon{display:none}#preRegistration-container.inline-popup-link .a-checkbox{padding-right:4px}#preRegistration-container.inline-popup-link .a-checkbox-label{display:inline;padding-left:0}#preRegistration-container .preRegistration-popup-link{position:relative}#preRegistration-alert-container #preregistrationGiftingAlert{padding-left:4px}#preRegistration-alert-container #preregistrationQuantityAlert{padding-left:4px}#gifting-option-container{margin-bottom:0} Reviewed in the United States on September 6, 2013. Redemption links and eBooks cannot be resold. Logic in Computer Science: Modelling and Reasoning about Systems - Kindle edition by Huth, Michael, Ryan, Mark. * To view and modify this theme, visit http://jqueryui.com/themeroller/?ffDefault=Trebuchet%20MS%2CTahoma%2CVerdana%2CArial%2Csans-serif&fwDefault=bold&fsDefault=1.1em&cornerRadius=4px&bgColorHeader=f6a828&bgTextureHeader=gloss_wave&bgImgOpacityHeader=35&borderColorHeader=e78f08&fcHeader=ffffff&iconColorHeader=ffffff&bgColorContent=eeeeee&bgTextureContent=highlight_soft&bgImgOpacityContent=100&borderColorContent=dddddd&fcContent=333333&iconColorContent=222222&bgColorDefault=f6f6f6&bgTextureDefault=glass&bgImgOpacityDefault=100&borderColorDefault=cccccc&fcDefault=1c94c4&iconColorDefault=ef8c08&bgColorHover=fdf5ce&bgTextureHover=glass&bgImgOpacityHover=100&borderColorHover=fbcb09&fcHover=c77405&iconColorHover=ef8c08&bgColorActive=ffffff&bgTextureActive=glass&bgImgOpacityActive=65&borderColorActive=fbd850&fcActive=eb8f00&iconColorActive=ef8c08&bgColorHighlight=ffe45c&bgTextureHighlight=highlight_soft&bgImgOpacityHighlight=75&borderColorHighlight=fed22f&fcHighlight=363636&iconColorHighlight=228ef1&bgColorError=b81900&bgTextureError=diagonals_thick&bgImgOpacityError=18&borderColorError=cd0a0a&fcError=ffffff&iconColorError=ffd27a&bgColorOverlay=666666&bgTextureOverlay=diagonals_thick&bgImgOpacityOverlay=20&opacityOverlay=50&bgColorShadow=000000&bgTextureShadow=flat&bgImgOpacityShadow=10&opacityShadow=20&thicknessShadow=5px&offsetTopShadow=-5px&offsetLeftShadow=-5px&cornerRadiusShadow=5px Please use a different way to share. Amazon Price New from Used from Paperback "Please retry" CDN$ 93.42 . However, this book can hold its own and I recommend it to anyone interested in learning the basics of model checking provided they can take handle some of the heavy duty reading. It is helpful to understand the background and theory behind this concept, because this theory is the foundation on which contemporary computer science … Everyday low prices and free delivery on eligible orders. Too many notions of computer science (syntax and semantics of programming languages, complexity) are needed to fully understand some topics, hence it is better that you already have a broad view of all aspects of computer science before reading this one. .background_color_0{background-color:#4096EE}.background_color_1{background-color:orange}.background_color_2{background-color:green}.background_color_3{background-color:purple}#boost_feature_rank .image_background img{position:absolute;top:30%;left:30%;height:40%;width:40%}#boost_feature_rank .bfr_radioButtonDiv{height:96px}#boost_feature_rank .bfr_radio_button{top:50%;padding:0}#boost_feature_rank .bfr_subtitle,#boost_feature_rank .feature_content_vertical_align,#boost_feature_rank .image_background{display:inline-block;vertical-align:middle;line-height:normal}#boost_feature_rank .image_background{position:relative;border-radius:50%}@media screen and (min-width:320px){#boost_feature_rank .image_background{width:65px;height:65px}}@media screen and (min-width:400px){#boost_feature_rank .image_background{width:72px;height:72px}}#boost_feature_rank .bfr_subtitle,#boost_feature_rank .feature_text{font-family:Arial,sans-serif;margin-top:0}@media screen and (min-width:320px){#boost_feature_rank .bfr_subtitle,#boost_feature_rank .feature_text{font-size:15px}}@media screen and (min-width:400px){#boost_feature_rank .bfr_subtitle,#boost_feature_rank .feature_text{font-size:18px}}@media screen and (min-width:550px){#boost_feature_rank .bfr_subtitle,#boost_feature_rank .feature_text{font-size:20px}}#boost_feature_rank .bfr_subtitle{font-weight:700}#boost_feature_rank .bfr_title{font-family:Arial,sans-serif;margin-top:0!important}@media screen and (min-width:320px){#boost_feature_rank .bfr_title{font-size:17px}}@media screen and (min-width:400px){#boost_feature_rank .bfr_title{font-size:21px}}@media screen and (min-width:550px){#boost_feature_rank .bfr_title{font-size:24px}}#boost_feature_rank .bfr_titleRow{padding-bottom:17px}#boost_feature_rank .featureCard{padding-left:4%;line-height:96px;margin-top:0!important}#boost_feature_rank .bfr_featureRow,#boost_feature_rank .bfr_subTitleRow{height:96px}#boost_feature_rank .bfr_subTitleRow{padding-left:9px;padding-right:9px;line-height:96px}#boost_feature_rank .vote_count{color:#fff;margin-bottom:0;margin-top:0!important}#boost_feature_rank .bfr_paddingTop{padding-top:18%}#boost_feature_rank .vote_button_column{float:none;margin:0 auto}#boost_feature_rank .bfr_background{background:#e0e0e0}#boost_feature_rank .hidden{display:none}#boost_feature_rank .feature-description-word-break-mobile{word-break:break-word} The Handbook comprises six volumes. .bundle-prime-icon{margin-left:5px}.bundle-comp-preorder,.bundle-comp-prices,.bundle-comp-reviews,.bundle-comp-title{margin-bottom:3px}.bundle-comp-price-qual{font-size:.8em;color:#555}.bundle-comp-bullets{margin-top:7px}.bundle-components{padding:10px 0}.bundle-price{color:#111}.bundle-touch{display:aok-block;width:100%}.bundle-touch:active,.bundle-touch:hover,.bundle-touch:link,.bundle-touch:visited{color:#111}.bundle-comp{margin:0;padding:.5em 0;border:1px solid #ccc;border-width:0 0 1px 0}.bundle-comp-price{font-size:1em}.bundle-comp-title{display:aok-block;display:-webkit-box;max-width:400px;max-height:2.4em;font-size:1em;line-height:1.2;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden;text-overflow:ellipsis}#bundle-sheet-trigger{color:#0066c0;width:100%;border:1px solid #ccc;border-radius:2px;margin:10px 0}#bundle-sheet-trigger:hover{cursor:pointer}.bundle-sheet-container{padding:10px}.bundle-sheet-load{padding:25px 0}.bundle-sheet-error{margin:25px 0;text-align:center}.bundle-exp-hide{display:aok-hidden}.pba-cbv2.asin-face-s{white-space:normal;vertical-align:top;height:100%;border-radius:.4rem;width:17.5rem;border:.1rem #ddd solid;overflow:hidden}#pba-cbv2-chkbox-bckgrnd-s{background-color:#F4F6F6;border-top:1px solid #EFEFEF}.pba-cbv2.chkbox{margin-left:1.9rem}.pba-cbv2.prime{margin-left:1rem}.pba-cbv2.item-info{display:table;width:100%}.pba-cbv2.item-info-r{display:table-cell;vertical-align:bottom}.pba-cbv2.sm-txt{font-size:1.3rem;overflow:hidden;line-height:1.4em;max-height:2.8em;text-align:justify;margin-right:-.5em;padding-right:1em}.pba-cbv2.sm-txt:before{content:'...';position:absolute;right:0;bottom:0}.pba-cbv2.sm-txt:after{content:'';position:absolute;right:0;width:1em;height:1em;margin-top:.2em;background:#fff}.pba-cbv2-asin-brdr-err{border-color:#c40000!important}.pba-cbv2-asin-bckgrnd-err{background-color:#fcf4f4!important}.pba-cbv2.asin-face-dets{position:absolute;bottom:0;width:100%}.pba-cbv2.asin-faceout.img{max-height:15rem}#pba-cbv2-foot{background:#006E79;height:6rem;position:fixed;left:0;bottom:0;width:100%;display:table;z-index:1000}#pba-cbv2-itm-cnt-circle{width:2.5rem;height:2.5rem;border-radius:50%;background:#fff;line-height:2.5rem}.pba-cbv2-white-txt{color:#fff}#pba-cbv2-foot-price-txt{max-height:4.8rem}#pba-cbv2-foot .foot-s{display:table-cell}#pba-cbv2-item-cnt-s{min-width:6.2rem}#pba-cbv2-atc-button-s{min-width:9.3rem}#pba-cbv2-secondary-view-spacer{height:6rem;width:100%}#pba-cbv2-bttm-sht{position:fixed;width:100%;top:0;z-index:1001}.pba-cbv2-slide-up{bottom:0!important}.pba-cbv2-slide-down{bottom:-23rem!important}.pba-cbv2-bttm-sht-bckgrnd-color{background:#111;opacity:.76}.pba-cbv2-bttm-sht-hgt{height:100%;transition:background .25s ease-in-out}#pba-cbv2-bttm-sht-info{position:fixed;height:23rem;width:100%;animation-duration:.25s;transition-duration:.25s;z-index:10000;right:0;left:0;bottom:-23rem;background:#fff}#pba-cbv2-bttm-sht-close-icon{position:absolute;right:2rem;top:-3.6rem;color:#fff;padding-right:0;background-color:transparent}.pba-cbv2.expndr-tier-cont{border:0;padding-left:0;padding-right:0}.pba-cbv2.tier-expndr{border-radius:0!important}.pba-cbv2.asin-face-tier{height:300px!important;padding-left:.5rem;padding-right:.5rem}#customizable_ingressv2_text{height:75px} This book is essentially theoretical, there is no presentation of real world uses of the methods. AmazonUIPageJS : P).load.js('https://images-na.ssl-images-amazon.com/images/I/914MtH7KMXL.js?AUIClients/GestaltDetailPageMobileWebMetaAsset'); There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. Does this book contain inappropriate content? So you have finally found your dream job in Computer Science but are wondering how to crack the 2020 Computer Science interview and what could be the probable Computer Science interview Questions. }); (window.AmazonUIPageJS ? Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required. #value-pick-aw{border-radius:.4rem;border:.1rem #ddd solid;overflow:hidden}#value-pick-aw #value-pick-title-row{overflow:hidden;word-break:keep-all;white-space:nowrap;text-overflow:ellipsis}#value-pick-aw #value-pick-image{display:block;margin-left:auto;margin-right:auto} a.sh-wrap{border:none;outline:0;background:0 0;color:inherit;text-decoration:none}a.sh-wrap:active,a.sh-wrap:hover,a.sh-wrap:link,a.sh-wrap:visited{border:none;outline:0;color:inherit;text-decoration:none}button.sh-wrap{padding:0;border:none;outline:0;background:0 0;color:inherit;font-family:inherit;font-size:inherit;line-height:inherit}.sh-wrap{display:block}.sh-wrap.sh-option-inline{display:inline-block}body.sh-option-no-scroll{height:100%;overflow:hidden}.sh-price{color:#b12704}.sh-list-horizontal{*zoom:1}.sh-list-horizontal:after{content:"";display:block;clear:both;height:0}.sh-list-horizontal,.sh-list-horizontal-row,.sh-list-vertical{list-style:none;color:inherit;margin-top:0;margin-right:0;margin-left:0}.sh-list-horizontal li,.sh-list-horizontal-row li,.sh-list-vertical li{list-style:none}.sh-list-horizontal li{float:left}.sh-list-horizontal-row{display:table;border-collapse:collapse;width:100%}.sh-list-horizontal-row li{display:table-cell}.sh-option-addition.sh-list-horizontal-row.a-button-toggle-group,.sh-option-addition.sh-list-horizontal.a-button-toggle-group{font-size:1.5rem}.sh-option-addition.sh-list-horizontal li,.sh-option-addition.sh-list-horizontal-row li{vertical-align:middle}.sh-option-addition.sh-list-horizontal li+li,.sh-option-addition.sh-list-horizontal-row li+li{position:relative;padding-left:1.5em}.sh-option-addition.sh-list-horizontal li+li:before,.sh-option-addition.sh-list-horizontal-row li+li:before{content:"+";position:absolute;left:0;width:1.5em;text-align:center}.sh-option-addition.sh-list-horizontal-row{width:auto}.sh-option-addition.sh-list-horizontal-row li+li:before{top:50%;line-height:0}.sh-option-addition.sh-option-addition-wide.sh-list-horizontal li+li,.sh-option-addition.sh-option-addition-wide.sh-list-horizontal-row li+li{padding-left:3em}.sh-option-addition.sh-option-addition-wide.sh-list-horizontal li+li:before,.sh-option-addition.sh-option-addition-wide.sh-list-horizontal-row li+li:before{width:3em}.sh-carousel-devices-container{margin-bottom:1.3rem}.sh-a-container .sh-carousel-devices-container{margin-bottom:1.3rem}.sh-carousel-devices-container.sh-option-size-small .sh-carousel-devices-device{width:12rem}.sh-carousel-devices-container.sh-option-size-small .sh-carousel-devices-device .sh-img{height:8rem}.sh-carousel-devices-device{text-align:center;overflow:visible;width:15rem}.sh-carousel-devices-device .sh-form{margin-top:.9rem}.sh-carousel-devices-device .sh-btn{margin-bottom:.3rem}.sh-carousel-devices-device .sh-btn.a-button-icon .a-icon{display:none}.sh-carousel-devices-device .sh-btn.a-button-icon .a-button-text{position:static;z-index:auto;text-align:center;padding-left:1.7rem;padding-right:1.7rem}.sh-carousel-devices-device .sh-img{height:15rem;margin-bottom:.5rem}.sh-carousel-devices-device .sh-title{display:block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.sh-carousel-devices-device .sh-price-offers,.sh-carousel-devices-device .sh-title,.sh-carousel-devices-device p.sh-price{display:block;margin:0;font-size:1.3rem;line-height:1.4}.sh-carousel-devices-container.a-carousel-transition-none li.sh-carousel-devices-device:last-child{margin-right:1.4rem}.sh-certified-badge{color:#fff;margin-bottom:1.3rem}.sh-certified-badge-header{padding:.3em .5rem .3em .9rem;float:left;font-size:1.1rem;line-height:1;background:#2f2f2f;margin-bottom:-.1em;position:relative;max-width:80%;max-width:calc(100% - 1em)}.sh-certified-badge-header:after{content:"";display:block;position:absolute;height:0;width:.1em;top:0;right:-1em;border-color:#2f2f2f transparent;border-style:solid;border-width:0 1em 1.7em 0}.sh-certified-badge-header .sh-title{display:block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.sh-certified-badge-body{display:table;width:100%;padding:.9rem;background:#2f2f2f;position:relative}.sh-certified-badge-body .sh-img{max-height:4.2rem}.sh-certified-badge-wwa{display:table-cell;padding-right:1.3rem;vertical-align:top}.sh-certified-badge-wwa{width:66.6667%}.sh-certified-badge-demo{display:table-cell;position:relative;vertical-align:top;text-align:center}.sh-certified-badge-demo .sh-img{box-sizing:content-box;max-width:4.2rem;padding:0 1.3rem}.sh-certified-badge-demo .sh-text{display:block;position:absolute;bottom:0;width:100%;font-size:1.3rem;line-height:1;color:#45d9ff;background-color:#2f2f2f;background-color:rgba(47,47,47,.5);display:block;overflow:hidden;text-overflow:ellipsis;text-overflow:-o-ellipsis-lastline;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;max-height:3.9rem}.sh-certified-personalized-badge{margin-bottom:1.3rem}.sh-certified-personalized-badge-body{display:table;width:100%;padding:15px 0 15px 0;position:relative}.sh-certified-personalized-badge-wwa{padding-right:.9rem;width:32px;display:table-cell;vertical-align:top}.sh-certified-personalized-badge-wwa .sh-img{width:32px;min-width:32px;height:32px;vertical-align:top}.sh-certified-personalized-badge-description{display:table-cell;vertical-align:middle;line-height:1.3;max-width:460px;letter-spacing:0}.sh-certified-personalized-badge-description-text{font-size:1.5rem}.sh-certified-personalized-badge-header{font-size:1.5rem}#sh-certified-personalized-badge-popover-trigger{text-decoration:none;color:#767676}#sh-certified-personalized-badge-popover-trigger i{vertical-align:middle;margin-top:0;margin-bottom:0}.sh-certified-personalized-badge-popover{padding:15px 15px 11px 15px;min-width:300px;max-width:400px}.sh-badge-v2{margin-bottom:1.3rem}.sh-badge-v2-content{padding:1.7rem .9rem}.sh-badge-v2-description{display:table-cell;vertical-align:middle;line-height:1.3;letter-spacing:0}.sh-badge-v2-description-text{font-size:1.5rem}.sh-badge-v2-header{font-size:1.1rem;color:#666}.sh-badge-v2-wwa{width:3.2rem;margin-right:.9rem;vertical-align:top}.sh-badge-v2-wwa .sh-badge-v2-img{width:3.2rem;vertical-align:top}.sh-badge-v2-body{display:table;position:relative}.sh-badge-v2-row-border{border-bottom:1px solid #ddd}.sh-badge-v2-item-row{display:table-row}.sh-badge-v2-checkbox-div{display:table-cell;min-width:4.8rem;position:relative}.sh-badge-v2-textbox-div{display:table-cell;border-left:1px solid #ddd;padding:1.3rem;width:100%}.sh-badge-v2-checkbox{height:100%;position:absolute!important;left:0;right:0}.sh-badge-v2-checkbox .a-icon{top:0!important;bottom:0;left:0!important;right:0;margin:auto!important}#sh-badge-v2-expander-content{padding:0}.sh-badge-v2-price-atc{padding:1.3rem}.sh-badge-v2-expander-box{margin-top:-.1rem;border-radius:0;border-top:0;border-bottom:0}.sh-badge-v2-atc-img-list{display:table}.sh-badge-v2-atc-img-list-item{margin-right:0!important}.sh-badge-v2-atc-img-list-item-content,.sh-badge-v2-selection-preview{height:6rem}.sh-badge-v2-atc-img{margin:auto;position:absolute;max-width:100%;max-height:100%;top:0;bottom:0;left:0;right:0}.sh-badge-v2-atc-img-list-item-container:before{padding-bottom:100%;display:block;content:"";height:0}.sh-badge-v2-flex-center{display:-webkit-flex!important;display:flex!important;-webkit-align-items:center;align-items:center}.sh-badge-v2-img-list-separator{font-size:2rem;margin:0 .5rem}.sh-badge-v2-atc-img-list-item-container{width:6rem}.sh-badge-v2-atc-img-list-item:last-child .sh-badge-v2-img-list-separator{display:none;visibility:hidden}.sh-badge-v2-atc-select-products-msg{text-align:center;position:relative;top:2.5rem}.sh-badge-v2-expander-heading-price{color:#b12704}.sh-badge-v2-product-title{display:block;overflow:hidden;text-overflow:ellipsis;text-overflow:-o-ellipsis-lastline;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical}.sh-badge-v2-atc-form{margin-bottom:0}.sh-dp-list-more-thumbnails{list-style:none;color:inherit;margin-top:0;margin-right:0;margin-left:0}.sh-dp-list-more-thumbnails li{list-style:none}#sh-dp-list-more-thumbnails-wrap{overflow:hidden}.sh-dp-list-more-thumbnails{position:relative;max-width:100%;width:10.9rem;height:5.1rem;overflow:hidden;font-size:0}.sh-dp-list-more-thumbnails li{display:inline-block;margin:0 .9rem 1.3rem 0}.sh-dp-list-more-thumbnails li.sh-dp-list-more-item{position:absolute;top:0;right:0;margin-right:0}.sh-dp-list-more-thumbnails .a-button-inner,.sh-dp-list-more-thumbnails .a-button-text{padding:0}.sh-dp-list-more-thumbnails .sh-btn{width:5rem;height:5rem;margin:0;padding:.4rem}.sh-dp-list-more-thumbnails .sh-btn .sh-img,.sh-dp-list-more-thumbnails .sh-btn.sh-option-inline .sh-btn-inner{width:100%;height:100%;margin:0}.sh-dp-list-more-thumbnails .sh-btn.sh-option-inline .a-button-inner,.sh-dp-list-more-thumbnails .sh-btn.sh-option-inline .a-button-text{height:100%;background:0 0}.sh-dp-list-more-thumbnails .sh-btn.sh-option-inline .sh-btn-inner{display:table;font-size:1.3rem;line-height:1.2;overflow:hidden;color:#0066c0}.sh-dp-list-more-thumbnails .sh-btn.sh-option-inline .sh-text{display:table-cell;vertical-align:middle}.sh-dp-list-more-thumbnails.sh-option-length-1{max-width:10.9rem}.sh-dp-list-more-thumbnails.sh-option-length-2{max-width:16.8rem}.sh-dp-list-more-thumbnails.sh-option-length-3{max-width:22.7rem}.sh-dp-list-more-thumbnails.sh-option-length-4{max-width:28.6rem}.sh-dp-list-more-thumbnails.sh-option-length-5{max-width:34.5rem}.sh-dp-list-more-thumbnails.sh-option-length-6{max-width:40.4rem}.sh-dp-list-more-thumbnails.sh-option-length-7{max-width:46.3rem}.sh-dp-list-more-thumbnails.sh-option-length-8{max-width:52.2rem}.sh-dp-list-more-thumbnails.sh-option-length-9{max-width:58.1rem}.sh-dp-list-more-thumbnails.sh-option-length-10{max-width:64rem}@media only screen and (min-width:240px){.sh-dp-list-more-thumbnails{width:16.8rem}}@media only screen and (min-width:299px){.sh-dp-list-more-thumbnails{width:22.7rem}}@media only screen and (min-width:359px){.sh-dp-list-more-thumbnails{width:28.6rem}}@media only screen and (min-width:417px){.sh-dp-list-more-thumbnails{width:34.5rem}}@media only screen and (min-width:476px){.sh-dp-list-more-thumbnails{width:40.4rem}}@media only screen and (min-width:535px){.sh-dp-list-more-thumbnails{width:46.3rem}}@media only screen and (min-width:594px){.sh-dp-list-more-thumbnails{width:52.2rem}}@media only screen and (min-width:653px){.sh-dp-list-more-thumbnails{width:58.1rem}}@media only screen and (min-width:712px){.sh-dp-list-more-thumbnails{width:64rem}}.sh-dp-alert{display:table;margin-bottom:1.3rem}.sh-dp-alert-icon{display:table-cell}.sh-dp-alert-body{display:table-cell;padding-left:1.3rem}.sh-skin-dark{background:#2f2f2f;color:#fff}.sh-skin-dark hr{border-color:#e7e7e7}.sh-skin-dark li{color:#fff}.sh-skin-dark a{color:#45d9ff}.sh-skin-dark a:active,.sh-skin-dark a:hover,.sh-skin-dark a:link,.sh-skin-dark a:visited{color:#45d9ff}.sh-dp-requirements .sh-touch-link>.a-box-inner{padding-left:3.8rem;text-align:center}.sh-dp-required-devices .sh-heading{margin-bottom:.9rem;text-align:center}.sh-dp-required-devices .sh-list-horizontal-row{margin:0 auto}.sh-dp-required-devices .sh-list-horizontal-row .sh-img{max-height:7.2rem;max-width:7.2rem}.sh-dp-why-hub{border:0}.sh-dp-why-hub .sh-img{max-height:21.6rem}.sh-dp-why-hub .sh-link{text-decoration:none}.sh-dp-why-hub .sh-link:active,.sh-dp-why-hub .sh-link:hover,.sh-dp-why-hub .sh-link:link,.sh-dp-why-hub .sh-link:visited{text-decoration:none}.sh-dp-or-for-sonar{margin-top:.9rem;margin-bottom:.9rem}.sh-dp-or-for-sonar .sh-heading{text-align:center}.sh-dp-recommendations{margin-top:1.3rem}.sh-dp-recommendations .sh-heading{margin-bottom:1.3rem}.sh-dp-recommendations hr{margin-top:1.3rem}.sh-dp-recommendations .sh-carousel-devices-device{text-align:left}.sh-dp-more-details-video{overflow:hidden}.sh-dp-more-details-video .sh-video{display:block;max-width:100%;object-fit:cover;background:0 0}.sh-dp-more-details-body{border:0;border-radius:0;background-clip:padding-box;background:0 0}.sh-dp-more-details-body .sh-divider,.sh-dp-more-details-body .sh-img{margin-bottom:1.3rem}.sh-dp-more-details-body .sh-img{max-height:5.04rem}.sh-dp-more-details-body .sh-link{text-decoration:none}.sh-dp-more-details-body .sh-link:active,.sh-dp-more-details-body .sh-link:hover,.sh-dp-more-details-body .sh-link:link,.sh-dp-more-details-body .sh-link:visited{text-decoration:none}.sh-dp-not-certified{background:#f6f6f6}.sh-dp-not-certified .sh-trigger{display:block;margin-top:.5rem;font-size:1.3rem;line-height:1}.sh-dp-not-certified .sh-dp-alert{margin-bottom:2.1rem} The Power of Objectivism: Ayn Rand and John Galt and Atlas Shrugged and The Moralit... To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Please try again. .a-button.a-button-primary.primary-fresh-btn-flat,.a-button.primary-fresh-btn-flat{background:#b5d25e}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus,.a-button.a-button-primary.primary-fresh-btn-flat:focus,.a-button.primary-fresh-btn-flat.a-button-focus,.a-button.primary-fresh-btn-flat:focus{box-shadow:0 0 3px 2px rgba(111,160,13,.5)}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:focus,.a-button.a-button-primary.primary-fresh-btn-flat:after,.a-button.primary-fresh-btn-flat.a-button-focus:after,.a-button.primary-fresh-btn-flat.a-button-primary:after,.a-button.primary-fresh-btn-flat.a-button-primary:focus,.a-button.primary-fresh-btn-flat:after{border-color:#6fa00d}.a-button.a-button-primary.primary-fresh-btn-flat .a-button-inner,.a-button.primary-fresh-btn-flat .a-button-inner{background:#b5d25e}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-disabled .a-button-inner,.a-button.primary-fresh-btn-flat.a-button-disabled .a-button-inner{background:#ebf5d6!important}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary.a-button-disabled:after,.a-button.primary-fresh-btn-flat.a-button-primary.a-button-disabled:after{border-color:#ebf5d6 #ebf5d6 #d8decc!important}.a-button.a-button-primary.primary-fresh-btn-flat.a-button-focus:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:after,.a-button.a-button-primary.primary-fresh-btn-flat.a-button-primary:focus,.a-button.a-button-primary.primary-fresh-btn-flat:after,.a-button.primary-fresh-btn-flat.a-button-focus:after,.a-button.primary-fresh-btn-flat.a-button-primary:after,.a-button.primary-fresh-btn-flat.a-button-primary:focus,.a-button.primary-fresh-btn-flat:after{border-color:transparent transparent #6fa00d}.atfc-conflict-dialog{max-width:270px}.atfc-slot-conflict-dialog{max-width:330px}.atfc-quantity-overflow-dialog{max-width:300px}.display-block{display:block}.width-44{width:44%!important}.atfc-spinner{background:url(https://images-na.ssl-images-amazon.com/images/G/01/navcart/spinner-white._V4_.gif) 50% 50% no-repeat;background-size:contain}.storeFrontButton{margin:20px 15px 0 15px}.storeIntroductionSheetBrandLogo{text-align:center;margin-top:15px}#offer-comparison-store-introduction-bottom-sheet-container{background-color:#eaeded}#offer-comparison-store-introduction-bottom-sheet-container .sisATCAlert{background-color:#fff}#offer-comparison-store-introduction-bottom-sheet-container .sisContent{margin:10px;background-color:#fff}#offer-comparison-store-introduction-side-sheet-container{position:fixed;overflow:visible!important;top:0;right:-610px;bottom:0;width:30%;min-width:400px;max-width:580px;background-color:#eaeded;z-index:290;box-shadow:-4px 0 5px rgba(0,0,0,.25)}#offer-comparison-store-introduction-side-sheet-container .sisCloseDiv{position:absolute;left:-30px;cursor:pointer}#offer-comparison-store-introduction-side-sheet-container .sisCloseButton{opacity:1;width:20px;height:30px;background-position:-350px -100px}#offer-comparison-store-introduction-side-sheet-container .sisATCAlert{background-color:#fff}#offer-comparison-store-introduction-side-sheet-container .sisContent{background-color:#fff}#offer-comparison-store-introduction-side-sheet-container .sisButton{min-width:40%}#offer-comparison-store-introduction-side-sheet-container .sisAdditionalContent{height:100%;background-color:#fff}#offer-comparison-store-introduction-side-sheet-background-container .sisBackground{opacity:.4;position:fixed;top:0;left:0;height:100%;width:100%;background-color:#000;z-index:280;cursor:pointer}

I'm Done Funny Meme, Simple Micellar Gel Wash Cleanser, Weather In Cancun Next 10 Days, What Do You Wear In A Mental Hospital, Iowa City Tornado, Sony Wh-1000xm4 Release Date,