.a-no-js .gc-requires-js{display:none!important}.a-no-js .gc-requires-no-js{display:block!important}.a-js .gc-requires-js{display:block!important}.a-js .gc-requires-no-js{display:none!important}#gc-amount-picker{text-align:left}#gc-amount-picker .gc-amount-swatch{margin-left:0;margin-right:.5em}#gc-custom-amount-list-item{position:relative;font-size:1.5rem}#gc-tablet-app-amount-picker #gc-amount-wrapper{margin:24px 19px}#gc-tablet-app-amount-picker #gc-amount-wrapper .gc-amount-button{width:110px}#gc-tablet-app-amount-picker #gc-amount-wrapper .gc-amount-column{padding-right:15px}#gc-tablet-app-amount-picker #gc-custom-amount-list-item{position:relative;font-size:1.5rem}#giftcardcustomtwister_feature_div #twister .imageSwatches li{padding:2px 1px 2px 2px!important;margin-left:7px;border-radius:2px;text-align:center;border-width:1px}#giftcardcustomtwister_feature_div #twister .imageSwatches li.swatchSelect{border-color:#FF8F00}.a-no-js #giftcardcustomtwister_feature_div .gc-swatch-url{height:100%;width:100%}.gc-order-form-custom-amount.a-button-toggle.a-button-selected:before{display:block;position:absolute;left:50%;top:0;margin-left:-.5rem;border:.6rem solid transparent;border-bottom:0rem;border-top-color:#c45500}@media only screen and (max-width:814px){#gc-amount-picker .gc-amount-swatch:nth-child(n+7){display:none}}@media only screen and (max-width:597px){#gc-amount-picker .gc-amount-swatch:nth-child(n+6){display:none}}@media only screen and (max-width:506px){#gc-amount-picker .gc-amount-swatch:nth-child(n+5){display:none}}@media only screen and (max-width:428px){#gc-amount-picker .gc-amount-swatch:nth-child(n+4){display:none}}@media only screen and (max-width:350px){#gc-amount-picker .gc-amount-swatch:nth-child(n+3){display:none}}@media only screen and (max-width:271px){#gc-amount-picker .gc-amount-swatch:nth-child(n+2){display:none}}.gc-buybox{position:relative}#gc-disable-atc{position:absolute;top:0;right:0;left:0;bottom:0;z-index:100;cursor:not-allowed}#giftcardcustomtwister_feature_div #twister #gc-custom-amount-list-item .a-button-toggle.a-button-selected.gc-input-error{border-color:#d00;box-shadow:none}#giftcardcustomtwister_feature_div #twister #gc-custom-amount-list-item .gc-input-error{border-color:#d00;box-shadow:0 0 0 3px rgba(221,0,0,.1)}#giftcardcustomtwister_feature_div #twister #gc-order-form-amount-wrapper #gc-order-form-custom-amount.a-input-text.gc-input-error{border-color:#d00;box-shadow:0 0 0 3px rgba(221,0,0,.1)}#gc-custom-amount-list-item .gc-input-error{border-color:#d00;box-shadow:0 0 0 3px rgba(221,0,0,.1)}#twister .a-button-dropdown.gc-dropdown-error{border:2px solid #d00}#gc-tablet-app-amount-picker .a-input-text-addon-group-wrapper,#giftcardcustomtwister_feature_div .a-input-text-addon-group-wrapper{display:inline-block;vertical-align:middle}#gc-tablet-app-amount-picker .a-input-text-addon-group,#giftcardcustomtwister_feature_div .a-input-text-addon-group{position:relative;display:table;border-collapse:separate}#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text{position:relative;z-index:2;width:100%;margin-bottom:0;border-radius:3px}#gc-tablet-app-amount-picker .a-ie9 .a-input-text-addon-group .a-input-text,#giftcardcustomtwister_feature_div .a-ie9 .a-input-text-addon-group .a-input-text{float:left}#gc-tablet-app-amount-picker .a-input-text-addon,#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text,#giftcardcustomtwister_feature_div .a-input-text-addon,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text{display:table-cell;vertical-align:middle}#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text:not(:first-child):not(:last-child),#gc-tablet-app-amount-picker .a-input-text-addon:not(:first-child):not(:last-child),#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text:not(:first-child):not(:last-child),#giftcardcustomtwister_feature_div .a-input-text-addon:not(:first-child):not(:last-child){border-radius:0}#gc-tablet-app-amount-picker .a-input-text-addon,#giftcardcustomtwister_feature_div .a-input-text-addon{background-color:#f6f6f6;padding:3px 7px;line-height:1;text-align:center;border:1px solid #a6a6a6;border-top-color:#949494;border-radius:3px;width:1%;white-space:nowrap}#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text-wrapper:first-child,#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text:first-child,#gc-tablet-app-amount-picker .a-input-text-addon:first-child,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text-wrapper:first-child,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text:first-child,#giftcardcustomtwister_feature_div .a-input-text-addon:first-child{border-top-right-radius:0;border-bottom-right-radius:0}#gc-tablet-app-amount-picker .a-input-text-addon:first-child,#giftcardcustomtwister_feature_div .a-input-text-addon:first-child{border-right:0}#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text-wrapper:last-child,#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text:last-child,#gc-tablet-app-amount-picker .a-input-text-addon:last-child,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text-wrapper:last-child,#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text:last-child,#giftcardcustomtwister_feature_div .a-input-text-addon:last-child{border-top-left-radius:0;border-bottom-left-radius:0}#gc-tablet-app-amount-picker .a-input-text-addon:last-child,#giftcardcustomtwister_feature_div .a-input-text-addon:last-child{border-left:0}#gc-tablet-app-amount-picker .a-input-text-addon-group .a-input-text-wrapper:not(:first-child):not(:last-child),#giftcardcustomtwister_feature_div .a-input-text-addon-group .a-input-text-wrapper:not(:first-child):not(:last-child){border-radius:0}#gc-tablet-app-amount-picker .a-form-disabled .a-input-text-addon,#giftcardcustomtwister_feature_div .a-form-disabled .a-input-text-addon{color:#767676;border-color:rgba(186,186,186,.5);background-color:#f3f3f3;box-shadow:none}#gc-tablet-app-amount-picker .a-input-text-addon-group.a-form-error,#giftcardcustomtwister_feature_div .a-input-text-addon-group.a-form-error{border-color:#d00;border-radius:3px;box-shadow:0 0 0 3px rgba(221,0,0,.1) inset}#gc-tablet-app-amount-picker .a-input-text-addon-group.a-form-error .a-input-text-addon,#giftcardcustomtwister_feature_div .a-input-text-addon-group.a-form-error .a-input-text-addon{position:relative;border-color:#d00;box-shadow:none}#gc-tablet-app-amount-picker .a-input-text-addon-group.a-form-error .a-input-text-addon:after,#giftcardcustomtwister_feature_div .a-input-text-addon-group.a-form-error .a-input-text-addon:after{content:none}#gc-tablet-app-amount-picker .a-input-text-addon-group.a-form-error .a-input-text-wrapper,#giftcardcustomtwister_feature_div .a-input-text-addon-group.a-form-error .a-input-text-wrapper{box-shadow:none}#gc-tablet-app-amount-picker .a-input-text-addon-group.a-form-error .a-input-text-wrapper,#giftcardcustomtwister_feature_div .a-input-text-addon-group.a-form-error .a-input-text-wrapper{background:0 0}#giftcardcustomtwister_bottom_sheet{padding-top:10px;overflow:auto;top:0;bottom:0;left:0;right:0;position:inherit}#giftcardcustomtwister_bottom_sheet .customBottomSheet-image-swatch .customBottomSheet-row-item .customBottomSheet-swatch{width:260px}#giftcardcustomtwister_bottom_sheet .customBottomSheet-image-swatch .customBottomSheet-row-item .customBottomSheet-swatch .a-button-text{padding:0}#giftcardcustomtwister_bottom_sheet .customBottomSheet-image-swatch .customBottomSheet-row-item .customBottomSheet-image{width:260px;height:240px;margin-bottom:0}#giftcardcustomtwister_bottom_sheet .customBottomSheet-image-swatch .customBottomSheet-first-shown-design{margin-left:15px}#giftcardcustomtwister_bottom_sheet .customBottomSheet-image-swatch .customBottomSheet-last-shown-design{margin-right:10px}#giftcardcustomtwister_feature_div #twister label{display:inline;color:#000;font-weight:400} .amazon-lists-hearts-sample-css{max-width:100%;text-overflow:ellipsis;display:aok-inline-block;overflow:hidden}.amazon-lists-flyout-error-container,.amazon-lists-heart-container,.amazon-lists-popup-error-container{background-color:#fff;z-index:2;text-align:left}.amazon-lists-heart-container{width:34px;height:34px;border-radius:34px;border:#eee solid 1px;visibility:hidden;opacity:0;transition:opacity .1s ease-in}.amazon-lists-empty-heart,.amazon-lists-filled-heart{position:absolute;top:7px;bottom:7px;left:5px}.amazon-lists-empty-heart::before,.amazon-lists-filled-heart::before{content:'';position:absolute;top:-14px;left:-12px;width:48px;height:48px}.amazon-lists-popup-error-container{opacity:.95;top:0;border-radius:0;margin-left:0}.amazon-lists-flyout-error-container{opacity:.95}.amazon-lists-flyout-error-container div{overflow:hidden;text-overflow:ellipsis}.amazon-lists-heart-icon-container{position:absolute;width:34px;height:34px}.amazon-lists-heart-flyout{margin-left:34px;margin-right:17px;padding-top:5px;overflow:hidden;text-overflow:ellipsis}.amazon-lists-heart-flyout-text{color:#111;font-size:12px}.amazon-lists-heart-list-name-underline{text-decoration:underline}.amazon-lists-heart-button{width:100%;height:100%;background:0 0;border:0;padding:0;outline:0}.amazon-lists-heart-button .amazon-lists-empty-heart,.amazon-lists-heart-button .amazon-lists-filled-heart{visibility:hidden}.amazon-lists-heart-button[aria-checked=true] .amazon-lists-filled-heart{visibility:visible}.amazon-lists-heart-button[aria-checked=false] .amazon-lists-empty-heart{visibility:visible}.amazon-lists-heart-container-search-list-view{position:absolute;bottom:8px;left:8px}.amazon-lists-heart-container-search-grid-view{position:absolute;bottom:8px;left:8px} The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. Are you looking for a simple way to invest in Cryptocurrencies? Synopsis Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. I also didn't like the fact that there's quite a bit of errata in the book, which can be quite confusing to a student. © 1996-2020, Amazon.com, Inc. or its affiliates, Logic for Applications (Texts in Computer Science). Use features like bookmarks, note taking and highlighting while reading Logic in Computer Science: Modelling and Reasoning … /*! Amazon has encountered an error. This book also does not have anything on symmetry, so if that's what you're looking for, there are better books out there. .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} Find all the books, read about the author, and more. Do you believe that this item violates a copyright? }); Additional gift options are available when buying one eBook at a time. Try out this free, 3-hour virtual challenge to teach your students the power of coding while uncovering how Amazon uses computer science and robotics daily to deliver customer orders. Logic in Computer Science: Modelling and Reasoning about Systems - Kindle edition by Huth, Michael, Ryan, Mark. Ancillary material for instructors and readers can be found on-line at Logic in Computer Science Free delivery on qualified orders. Download it once and read it on your Kindle device, PC, phones or tablets. Amazon Cyber Robotics Challenge: Bring real-world industry to your class this fall with the Amazon Cyber Robotics Challenge! #multiple-dfl-offers{border-radius:.3rem;border-color:#adb1b8 #a2a6ac #8d9096;border-style:solid;border-width:.1rem;position:relative;width:100%;padding:1rem 2.7rem 1rem 1rem}#multiple-dfl-offers .dfl-arrow{position:absolute;top:50%;right:16px;margin-top:-5.5px}#multiple-dfl-offers .currencyINR{background-position-x:0}#multiple-dfl-offers .dfl-widget.dfl-primary-peak-offer{height:60px}.dfl-primary-peak-offer{margin-left:45px;margin-right:10px}.dfl-primary-peak-offer.dfl-offer-content{height:40px;overflow:hidden}.dfl-special-offer{color:#b12704;font-weight:700}#dfl-more-offers{color:#0066c0;white-space:nowrap}.dfl-offer-footer{color:#0066c0;white-space:nowrap} .action-buttons{margin-top:25%}.nonacw-label{display:inline-block;margin-bottom:5px}.mbb-checkbox-container{display:table;height:60px;width:100%}.mbb-checkbox-column{display:table-cell;table-layout:fixed;width:60px;vertical-align:middle}.mbb-checkbox-column.a-box{border-top:0;border-bottom:0;border-left:0;border-top-right-radius:0;border-bottom-right-radius:0}.mbb-dead-space-column{display:table-cell;width:0}.mbb-touch-link-column{display:table-cell}.mbb-checkbox{margin-left:13px}.mbb-touch-link{margin:0;border:0;border-top-left-radius:0;border-bottom-left-radius:0}.mbb-touch-link .a-box-inner{padding-left:0;padding-top:0;padding-bottom:0;background-color:transparent!important}.mbb-touch-link-text{display:table-cell;height:100%;vertical-align:middle;padding-top:0;padding-bottom:0}.mbb__mdb{position:relative;background:#008577;padding-left:.5em;color:#fff;white-space:nowrap;max-width:min-content;max-width:-moz-min-content;margin-bottom:.75em}.mbb__mdb:after{content:"";position:absolute;right:0;bottom:0;width:0;height:0;border-right:.5em solid #fff;border-top:.7em solid transparent;border-bottom:.7em solid transparent}.mbb__mdb .mbb__mdbi{display:block;padding-right:3em}#HLCXComparisonWidget_feature_div{margin-right:-1.4rem;margin-left:-1.4rem;clear:both}.cmp-img-container{width:100px;height:100px;margin-left:auto;margin-right:auto}#hlcx_cmp_title_row>.hlcx-cmp-title-col{padding-top:0;padding-left:8px;padding-right:5px}#hlcx_cmp_img_row>td{border-bottom:none}#hlcx_cmp_img_row>td,#hlcx_cmp_title_row>td{border-top:none;border-right:none;border-left:none;background:0 0}#comparison_table_slide_part{overflow-x:auto;width:100%;-webkit-overflow-scrolling:touch!important;-webkit-transform:translate3d(0,0,0)!important}#comparison_table_slide_part::-webkit-scrollbar{display:none}#compairson_table_last_row td{background:0 0;border:none;padding:0;padding-left:5px;padding-right:5px}table.comparison_table{border-top:none;border-left:none}.comparison_table_mobile_image{display:block!important;margin-left:auto!important;margin-right:auto!important}table.comparison_table td.comparison_items_details_column{padding:5px;padding-left:8px;width:20%}table.comparison_table td.comparison_attribute_name_column{background-color:#E0E0E0;padding:5px;padding-left:8px;width:20%}table.comparison_table th.comparison_attribute_name_column{background-color:#E0E0E0;padding:5px;padding-left:8px;width:20%}#comparison_see_more_detail_button{text-align:center;border:.1rem solid #ddd;border-radius:4px}.hlcx_cmp_align_wrapper{padding-left:1.4rem}.hlcx_cmp_table_button{text-align:center}.atc-spinner-position{position:absolute;width:100%;height:100%;z-index:10001;left:0;top:0}.atc-toast-position{position:relative;left:-50%;top:-50%;z-index:10001}.atc-toast-styles{padding:2px 2px;border-radius:10px;text-align:center;background-color:#444c55}.atc-toast-transition{transition-property:padding;transition-duration:.2s;-webkit-transition-property:padding;-webkit-transition-duration:.2s}.atc-toast-progress-styles{width:80px;height:40px}.atc-toast-success-styles{padding:10px 10px}.atc-toast-failure-styles{padding:10px 10px}.atc-toast-container{position:fixed;left:50%;top:50%;z-index:10001}.atc-message-styles{font-size:16px;color:#FFF;font-weight:700;font-family:arial}.udp-stop-scrolling{height:100%;overflow:hidden}.atc-toast-overlay-styles{position:absolute;top:0;left:0;z-index:10000;opacity:.6;height:30000px;background-color:#fff;width:100%}#si-sheet-view-content{height:inherit}@media screen and (orientation:landscape){.si-button-portrait{display:none}}@media screen and (orientation:portrait){.si-button-landscape{display:none}} .uss-u-no-scroll{overflow:hidden!important}.uss-text-white-color{color:#fff}.uss-recommendations-message{text-align:center;overflow:hidden}.uss-recommendations-message>span{position:relative;display:inline-block;word-wrap:break-word}.uss-recommendations-message>span:after,.uss-recommendations-message>span:before{content:"";position:absolute;top:50%;width:100%;height:1px}.uss-recommendations-message>span:before{right:100%}.uss-recommendations-message>span:after{left:100%}.uss-o-promising-ui-element .ui-promise,.uss-o-promising-ui-element .ui-value{display:none}.uss-o-promising-ui-element.is-loading .ui-promise{display:block}.uss-o-promising-ui-element.is-resolved .ui-value{display:block}.uss-o-promising-ui-element-animation .ui-promise,.uss-o-promising-ui-element-animation .ui-value{display:none}.uss-o-promising-ui-element-animation.is-loading .ui-promise{display:block}.uss-o-promising-ui-element-animation.is-resolved .ui-value{display:none}.uss-c-atc-status-msg .error-message,.uss-c-atc-status-msg .item-in-cart-message,.uss-c-atc-status-msg .loading-message,.uss-c-atc-status-msg .success-message{display:inline-block}.uss-c-atc-status-msg .atc-error-message,.uss-c-atc-status-msg .atc-item-in-cart-message,.uss-c-atc-status-msg .atc-success-message{display:none}.uss-c-atc-status-msg .ui-promise{display:inline-block;margin-bottom:0}.uss-c-atc-status-msg.is-resolved.atc-success .atc-success-message{display:inline-block}.uss-c-atc-status-msg.is-resolved.atc-error .atc-error-message{display:inline-block}.uss-c-atc-status-msg.is-resolved.item-in-cart .atc-item-in-cart-message{display:inline-block}.uss-c-shipping-details{display:-webkit-box;display:-webkit-flex;display:-moz-box;display:-ms-flexbox;display:flex}.uss-c-shipping-details .icon-placeholder{margin-right:4px;-webkit-box-flex:0;-webkit-flex:0 0 auto;-moz-box-flex:0;-ms-flex:0 0 auto;flex:0 0 auto}.uss-c-shipping-details .shipping-message-placeholder{-webkit-box-flex:0;-webkit-flex:0 1 auto;-moz-box-flex:0;-ms-flex:0 1 auto;flex:0 1 auto}.uss-c-sub-nav{position:relative;visibility:visible}.uss-c-sub-nav.is-hidden{visibility:hidden;height:30px}.uss-c-sub-nav.is-hidden:after{left:0;top:0;width:100%;height:30px;position:absolute;content:"";background-color:#fff;visibility:visible;margin-left:0}.uss-c-sub-nav .cart-btn{float:left;display:inline-block;margin-right:10px}.uss-c-sub-nav .checkout-form{overflow:auto}.uss-c-atc-status-widget .atc-acknowledgement-message .main-image{border:1px solid #008A00}.uss-l-atc-status-widget .atc-acknowledgement-message .main-image .ui-promise{height:100%}.uss-l-atc-status-widget .uss-c-atc-status-msg .skeleton.loading-bar,.uss-l-atc-status-widget .uss-c-cart-status-msg .skeleton.loading-bar{height:20px;margin-left:10px}.uss-l-atc-status-widget .uss-c-atc-status-msg.is-loading .ui-promise,.uss-l-atc-status-widget .uss-c-cart-status-msg.is-loading .ui-promise{display:block}.uss-l-atc-status-widget .uss-c-atc-status-msg.is-resolved .ui-promise,.uss-l-atc-status-widget .uss-c-cart-status-msg.is-resolved .ui-promise{display:none}.uss-l-atc-status-widget .uss-c-atc-status-msg.is-resolved.atc-success .atc-success-message,.uss-l-atc-status-widget .uss-c-cart-status-msg.is-resolved.atc-success .atc-success-message{display:block}.uss-l-atc-status-widget .uss-c-atc-status-msg.is-resolved.atc-error .atc-error-message,.uss-l-atc-status-widget .uss-c-cart-status-msg.is-resolved.atc-error .atc-error-message{display:block}.uss-l-atc-status-widget .uss-c-atc-status-msg.is-resolved.item-in-cart .atc-item-in-cart-message,.uss-l-atc-status-widget .uss-c-cart-status-msg.is-resolved.item-in-cart .atc-item-in-cart-message{display:block}.uss-l-atc-status-widget .uss-c-cart-status-msg{padding-left:33px}.uss-l-atc-status-widget .uss-c-cart-status-msg .cart-sub-total{display:inline-block}.uss-l-atc-status-widget .icon-placeholder{height:0}.uss-l-atc-status-widget .atc-generic-error .error-message{display:inline-block}.uss-l-default-layout{display:block;display:-webkit-box;display:-webkit-flex;display:-moz-box;display:-ms-flexbox;display:flex;-webkit-box-orient:vertical;-webkit-box-direction:normal;-webkit-flex-direction:column;-moz-box-orient:vertical;-moz-box-direction:normal;-ms-flex-direction:column;flex-direction:column;height:100%;overflow:auto;overflow:unset}.uss-l-default-layout .loading-bar{background-color:#fff}.uss-l-default-layout .uss-c-head{-webkit-box-flex:0;-webkit-flex:0 0 auto;-moz-box-flex:0;-ms-flex:0 0 auto;flex:0 0 auto;width:100%;overflow:auto;background-color:#fff}.uss-l-default-layout .uss-c-head .atc-acknowledgement-message .main-image{margin-right:5px}.uss-l-default-layout .uss-c-body{width:auto;height:auto;min-height:0;overflow:auto;-webkit-box-flex:1;-webkit-flex:1 1 auto;-moz-box-flex:1;-ms-flex:1 1 auto;flex:1 1 auto}.uss-l-default-layout .uss-c-body .uss-recommendations-message>span:before{background:#ddd;margin-right:10px}.uss-l-default-layout .uss-c-body .uss-recommendations-message>span:after{background:#ddd;margin-left:10px}.uss-l-default-layout .uss-c-body .uss-asin-title{color:#111;margin-bottom:6px}.uss-l-default-layout .uss-widget{width:auto;margin-right:15px;margin-left:15px;background-color:#fff}.uss-l-default-layout .uss-primary-action-status-widget{margin-left:15px}.uss-l-default-layout .uss-loading-skeleton .loading-message{text-align:center}.uss-l-default-layout .uss-loading-skeleton .asin-faceout-skeleton{background-color:#fff;margin-left:15px;margin-right:15px}.uss-l-default-layout .uss-loading-skeleton .asin-faceout-skeleton .image-skeleton{width:80px;height:80px;background-color:#fff}.uss-l-default-layout .uss-loading-skeleton .asin-faceout-skeleton .loading-bar{margin-left:20px;height:20px}.uss-l-default-layout .uss-c-head-sticky{position:-webkit-sticky;position:sticky;top:0;z-index:1}.uss-l-default-layout .uss-c-head-sticky .uss-c-head-divider{width:100%}#uss-sheet-view{max-height:100%;overflow-y:auto;-webkit-overflow-scrolling:touch}.p13n-sc-atc-error,.p13n-sc-atc-success{padding-top:10px;min-height:39px}
Creativity, Inc Key Takeaways, Fat Burning Juice Before Bed, Guayaquil Ecuador Weather In December, Friedrich Cp08g10b Manual, Living Room Furniture Designs Catalogue, Hunter Guide Osrs, Intermediate French Books, Schizophrenia Short Stories, Purito Sea Buckthorn Vital 70 Cream,