CINXE.COM

<!doctype html> <html lang="en-US"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="profile" href="http://gmpg.org/xfn/11"> <title>Books – Association for Symbolic Logic</title> <meta name='robots' content='max-image-preview:large' /> <link rel='dns-prefetch' href='//s.w.org' /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Feed" href="https://aslonline.org/feed/" /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Comments Feed" href="https://aslonline.org/comments/feed/" /> <script type="text/javascript"> window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/aslonline.org\/wp-includes\/js\/wp-emoji-release.min.js?ver=5.9.10"}}; /*! This file is auto-generated */ !function(e,a,t){var n,r,o,i=a.createElement("canvas"),p=i.getContext&&i.getContext("2d");function s(e,t){var a=String.fromCharCode;p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,e),0,0);e=i.toDataURL();return p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,t),0,0),e===i.toDataURL()}function c(e){var t=a.createElement("script");t.src=e,t.defer=t.type="text/javascript",a.getElementsByTagName("head")[0].appendChild(t)}for(o=Array("flag","emoji"),t.supports={everything:!0,everythingExceptFlag:!0},r=0;r<o.length;r++)t.supports[o[r]]=function(e){if(!p||!p.fillText)return!1;switch(p.textBaseline="top",p.font="600 32px Arial",e){case"flag":return s([127987,65039,8205,9895,65039],[127987,65039,8203,9895,65039])?!1:!s([55356,56826,55356,56819],[55356,56826,8203,55356,56819])&&!s([55356,57332,56128,56423,56128,56418,56128,56421,56128,56430,56128,56423,56128,56447],[55356,57332,8203,56128,56423,8203,56128,56418,8203,56128,56421,8203,56128,56430,8203,56128,56423,8203,56128,56447]);case"emoji":return!s([10084,65039,8205,55357,56613],[10084,65039,8203,55357,56613])}return!1}(o[r]),t.supports.everything=t.supports.everything&&t.supports[o[r]],"flag"!==o[r]&&(t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&t.supports[o[r]]);t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&!t.supports.flag,t.DOMReady=!1,t.readyCallback=function(){t.DOMReady=!0},t.supports.everything||(n=function(){t.readyCallback()},a.addEventListener?(a.addEventListener("DOMContentLoaded",n,!1),e.addEventListener("load",n,!1)):(e.attachEvent("onload",n),a.attachEvent("onreadystatechange",function(){"complete"===a.readyState&&t.readyCallback()})),(n=t.source||{}).concatemoji?c(n.concatemoji):n.wpemoji&&n.twemoji&&(c(n.twemoji),c(n.wpemoji)))}(window,document,window._wpemojiSettings); </script> <style type="text/css"> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel='stylesheet' id='wp-block-library-css' href='https://aslonline.org/wp-includes/css/dist/block-library/style.min.css?ver=5.9.10' type='text/css' media='all' /> <style id='global-styles-inline-css' type='text/css'> body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--duotone--dark-grayscale: url('#wp-duotone-dark-grayscale');--wp--preset--duotone--grayscale: url('#wp-duotone-grayscale');--wp--preset--duotone--purple-yellow: url('#wp-duotone-purple-yellow');--wp--preset--duotone--blue-red: url('#wp-duotone-blue-red');--wp--preset--duotone--midnight: url('#wp-duotone-midnight');--wp--preset--duotone--magenta-yellow: url('#wp-duotone-magenta-yellow');--wp--preset--duotone--purple-green: url('#wp-duotone-purple-green');--wp--preset--duotone--blue-orange: url('#wp-duotone-blue-orange');--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} </style> <link rel='stylesheet' id='modalcss-css' href='https://aslonline.org/wp-content/plugins/bootstrap-modals/css/bootstrap.css?ver=3.3.7' type='text/css' media='all' /> <link rel='stylesheet' id='asl-style-css' href='https://aslonline.org/wp-content/themes/underscore_s/style.css?ver=5.9.10' type='text/css' media='all' /> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery.min.js?ver=3.6.0' id='jquery-core-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.3.2' id='jquery-migrate-js'></script> <link rel="https://api.w.org/" href="https://aslonline.org/wp-json/" /><link rel="alternate" type="application/json" href="https://aslonline.org/wp-json/wp/v2/pages/201" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://aslonline.org/xmlrpc.php?rsd" /> <link rel="wlwmanifest" type="application/wlwmanifest+xml" href="https://aslonline.org/wp-includes/wlwmanifest.xml" /> <meta name="generator" content="WordPress 5.9.10" /> <link rel="canonical" href="https://aslonline.org/books/" /> <link rel='shortlink' href='https://aslonline.org/?p=201' /> <link rel="alternate" type="application/json+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2Fbooks%2F" /> <link rel="alternate" type="text/xml+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2Fbooks%2F&format=xml" /> <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <script> (function(d) { var config = { kitId: 'myi6lnn', scriptTimeout: 3000, async: true }, h=d.documentElement,t=setTimeout(function(){h.className=h.className.replace(/\bwf-loading\b/g,"")+" wf-inactive";},config.scriptTimeout),tk=d.createElement("script"),f=false,s=d.getElementsByTagName("script")[0],a;h.className+=" wf-loading";tk.src='https://use.typekit.net/'+config.kitId+'.js';tk.async=true;tk.onload=tk.onreadystatechange=function(){a=this.readyState;if(f||a&&a!="complete"&&a!="loaded")return;f=true;clearTimeout(t);try{Typekit.load(config)}catch(e){}};s.parentNode.insertBefore(tk,s) })(document); </script> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1/jquery.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/galleria/1.5.6/galleria.min.js"></script> </head> <body class="page-template-default page page-id-201 page-parent"> <div id="page" class="site"> <a class="skip-link screen-reader-text" href="#content">Skip to content</a> <header id="masthead" class="site-header"> <div class="site-branding"> <p class="site-title"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="../wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></p> </div>   </header> <div id="content" class="site-content"> <div id="primary" class="content-area"> <main id="main" class="site-main" role="main"> <article id="post-201" class="post-201 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title">Books</h1> </header> <div class="entry-content"> <p> </p> <p><strong>*New Release*</strong> The fourth and final volume of papers from the Cabal Seminar has been released: “<a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/large-cardinals-determinacy-and-other-topics-cabal-seminar-volume-iv-volume-4?format=HB&isbn=9781107182998" target="_blank" rel="noreferrer noopener">Large Cardinals, Determinacy and Other Topics: The Cabal Seminar Volume IV</a>“. This final volume contains Parts VII and VIII of the series. Part VII focuses on ‘Extensions of AD, models with choice’, while Part VIII (‘Other topics’) collects material important to the Cabal that does not fit neatly into one of its main themes.聽</p> <p>In addition to releasing this volume, CUP is offering a<a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/cabal-seminar-volumes-iiv?localeText=United+States&locale=en_US" target="_blank" rel="noreferrer noopener"> 4 volume set of the Cabal Seminar books</a>. 聽Volume I focuses on the subjects of ‘Games and Scales’ and ‘Suslin Cardinals, Partition Properties, and Homogeneity’, Volume II on ‘Wadge Degrees and Pointclasses’ and ‘Projective Ordinals’, Volume III on ‘HOD and its Local Versions’ and ‘Recursion Theory’, and Volume IV on ‘Extensions of AD, models with choice’.</p> <p>ASL members receive a 25% discount for this book and the 4 volume set – please contact the ASL Office at <a href="asl@uconn.edu">asl@uconn.edu</a> for the discount code.</p> <p>ASL books are published in cooperation with聽<a href="http://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/?layout=listing&pageSize=&Series=&sortOrder=answerMpubDate_unified_N%5Bdesc%5D#KskSQocQlg1e4XL2.97" target="_blank" rel="noopener noreferrer">Cambridge University Press聽</a>. Prior to October 2006, ASL books were published in cooperation with A. K. Peters Ltd. The Association’s book publishing program, initiated in 1999, includes two series, the聽<a href="http://www.cambridge.org/us/academic/subjects/mathematics/series/lecture-notes-logic"><em>Lecture Notes in Logic</em></a>聽and the聽<a href="http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/series/perspectives-logic#aKwj0q8DS4xyW5hi.97"><em>Perspectives in Logic</em></a>. The ASL publishes other volumes of interest to logicians as well.</p> <p>The Association also undertakes other book publishing ventures. Most recently, the ASL participated in the project to publish聽<a href="https://aslonline.org/books/other-books/">the Collected Works of Kurt G枚del (Oxford University Press)</a>聽. All of these publications are available to individual members of the Association at a discount. Learn more about <a href="https://aslonline.org/books/book-discounts-for-asl-members/">member discounts</a>聽or write to the聽<a href="https://aslonline.org/asl-information/info-contact/">Business Office of the Association</a>.</p> <p><a href="https://aslonline.org/books/lecture-notes-in-logic/">Lecture Notes in Logic</a>聽– The聽<em>Lecture Notes in Logic</em>聽series is intended to serve researchers, teachers, and students in the field of symbolic logic, broadly interpreted. The aim of the series is to bring publications to the logic community with the least possible delay and to provide rapid dissemination of the latest research in the field. This series was published from 1993 to 1999 by Springer-Verlag under the editorial control of the ASL.</p> <p><a href="https://aslonline.org/books/lecture-notes-in-logic/available-volumes/">Order volumes</a> in the聽<em>Lecture Notes in Logic</em>聽series.</p> <p><a href="https://aslonline.org/books/perspectives-in-logic/">Perspectives in Logic</a>聽– This series publishes substantial, high-quality books whose central theme lies in any area or aspect of logic. Books that present new material not now available in book form are particularly welcome. The series ranges from introductory texts suitable for beginning graduate courses, to specialized monographs at the frontiers of research.</p> <p>The ASL has made聽<a href="http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=euclid.pl">available</a>聽online via聽<a href="http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pl">Project Euclid</a>聽those older volumes of Perspectives in Logic owned by the ASL and published in collaboration with Springer-Verlag.</p> <div class="page" title="Page 3"> <div class="layoutArea"> <div class="column"> <p>All volumes for which the ASL holds the copyright are available in print and electronic format at <a href="http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/series/perspectives-logic#XrPZ5bjl0EUoqHU2.97">Cambridge University Press</a>.</p> <p>For authors consulting about typesetting, please direct any questions to Thomas Piecha, <a href="mailto:piecha@cs.uni-tuebingen.de" data-linkindex="0">piecha@cs.uni-tuebingen.de.</a></p> </div> </div> </div> </div> </article> </main> </div> <aside id="secondary" class="widget-area"> <section id="search-2" class="widget widget_search"><form role="search" method="get" class="search-form" action="https://aslonline.org/"> <label> <span class="screen-reader-text">Search for:</span> <input type="search" class="search-field" placeholder="Search …" value="" name="s" /> </label> <input type="submit" class="search-submit" value="Search" /> </form></section></aside> </div> <nav id="site-navigation" class="main-navigation"> <button class="menu-toggle" aria-controls="primary-menu" aria-expanded="false"><span class="button-bar button-bar-top"></span><span class="button-bar button-bar-middle"></span><span class="button-bar button-bar-bottom"></span></button> <div class="menu-menu-1-container"><ul id="primary-menu" class="menu"><li id="menu-item-1732" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-1732"><a title=" " href="https://aslonline.org/">Home</a></li> <li id="menu-item-1800" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1800"><a title=" " href="https://aslonline.org/about-the-asl/">About</a> <ul class="sub-menu"> <li id="menu-item-1780" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1780"><a title=" " href="https://aslonline.org/about-the-asl/constitution-and-by-laws/">Constitution and By-Laws</a></li> <li id="menu-item-1781" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1781"><a title=" " href="https://aslonline.org/about-the-asl/council-members-and-representatives/">Council Members and Representatives</a></li> <li id="menu-item-1782" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1782"><a title=" " href="https://aslonline.org/about-the-asl/former-officers-council-members-and-executive-committee-members/">Former Officers, Council Members, and Executive Committee Members</a></li> </ul> </li> <li id="menu-item-1792" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1792"><a title=" " href="https://aslonline.org/announce/">Announcements</a></li> <li id="menu-item-1793" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1793"><a title=" " href="https://aslonline.org/meet/">Meetings</a> <ul class="sub-menu"> <li id="menu-item-2362" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2362"><a href="https://aslonline.org/meet/aslcodeofconduct/">ASL Code of Conduct</a></li> </ul> </li> <li id="menu-item-1750" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1750"><a title=" " href="https://aslonline.org/rules-for-abstracts/">Rules for Abstracts</a></li> <li id="menu-item-1751" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1751"><a title=" " href="https://aslonline.org/student-travel-awards/">Student Travel Awards</a></li> <li id="menu-item-1791" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1791"><a title=" " href="https://aslonline.org/sponsorship-of-meetings/">Sponsorship of Meetings</a></li> <li id="menu-item-1749" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1749"><a title=" " href="https://aslonline.org/journals/">Journals</a> <ul class="sub-menu"> <li id="menu-item-1733" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1733"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/">The Journal</a> <ul class="sub-menu"> <li id="menu-item-1737" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1737"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1757" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1757"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/jsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1735" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1735"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/">The Bulletin</a> <ul class="sub-menu"> <li id="menu-item-1741" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1741"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/the-bulletin-of-symbolic-logic-submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1742" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1742"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/bsl-editorial-staff/">Editorial Staff</a></li> <li id="menu-item-1740" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1740"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/">Thesis Abstracts</a></li> <li id="menu-item-1739" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1739"><a title=" " href="https://aslonline.org/journals/reviews/">Reviews</a></li> </ul> </li> <li id="menu-item-1734" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1734"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/">The Review</a> <ul class="sub-menu"> <li id="menu-item-1743" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1743"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/the-review-of-symbolic-logic-submission-guidelines/">Submission聽Guidelines</a></li> <li id="menu-item-1744" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1744"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/rsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1736" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1736"><a title=" " href="https://aslonline.org/journals/publication-ethics-policy/">Publication Ethics Policy</a> <ul class="sub-menu"> <li id="menu-item-2577" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2577"><a href="https://aslonline.org/journals/publication-ethics-policy/appeals-of-editorial-decisions/">Appeals of Editorial Decisions</a></li> </ul> </li> <li id="menu-item-1738" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1738"><a title=" " href="https://aslonline.org/journals/subscriptions/">Subscriptions</a></li> <li id="menu-item-1747" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1747"><a title=" " href="https://aslonline.org/journals/asl-sponsored-journals/">ASL Sponsored Journals</a> <ul class="sub-menu"> <li id="menu-item-1748" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1748"><a title=" " href="https://aslonline.org/journals/sponsored-journals-conditions-terms-and-application-procedure/">Conditions, Terms, and Application</a></li> </ul> </li> <li id="menu-item-1745" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1745"><a title=" " href="https://aslonline.org/journals/author-resources/">Author Resources</a></li> <li id="menu-item-1746" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1746"><a title=" " href="https://aslonline.org/journals/back-volumes/">Back Volumes</a></li> </ul> </li> <li id="menu-item-1752" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-201 current_page_item menu-item-has-children menu-item-1752"><a title=" " href="https://aslonline.org/books/" aria-current="page">Books</a> <ul class="sub-menu"> <li id="menu-item-1754" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1754"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/">Lecture Notes in Logic</a> <ul class="sub-menu"> <li id="menu-item-1753" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1753"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/available-volumes/">Available Volumes</a></li> <li id="menu-item-1755" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1755"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/ordering-information/">Ordering information</a></li> <li id="menu-item-1756" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1756"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-policies-of-the-lecture-notes-in-logic/">Editorial Policies and Instructions</a></li> <li id="menu-item-1758" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1758"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-board-lecture-notes-in-logic/">Editorial Board</a></li> </ul> </li> <li id="menu-item-1759" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1759"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/">Perspectives in Logic</a> <ul class="sub-menu"> <li id="menu-item-1760" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1760"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/available-volumes/">Available volumes</a></li> <li id="menu-item-1761" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1761"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/editors-of-the-perspectives-in-mathematical-logic/">Editors</a></li> <li id="menu-item-1762" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1762"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/instructions-for-authors/">Instructions for Authors</a></li> </ul> </li> <li id="menu-item-1763" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1763"><a title=" " href="https://aslonline.org/books/other-books/">Other Books</a></li> <li id="menu-item-1764" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1764"><a title=" " href="https://aslonline.org/books/book-discounts-for-asl-members/">Member Discounts</a></li> </ul> </li> <li id="menu-item-1801" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1801"><a title=" " href="https://aslonline.org/inclusiveness/">Inclusiveness</a></li> <li id="menu-item-1794" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1794"><a title=" " href="https://aslonline.org/asl-committees/">ASL Committees</a> <ul class="sub-menu"> <li id="menu-item-1765" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1765"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/">Regional Committees</a> <ul class="sub-menu"> <li id="menu-item-1790" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1790"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-africa/">Africa</a></li> <li id="menu-item-1789" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1789"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-australasia/">Australasia</a></li> <li id="menu-item-1788" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1788"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-east-asia/">East Asia</a></li> <li id="menu-item-1787" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1787"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-europe/">Europe</a></li> <li id="menu-item-1786" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1786"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-latin-america/">Latin America</a></li> <li id="menu-item-1785" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1785"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-north-america/">North America</a></li> </ul> </li> <li id="menu-item-1799" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1799"><a title=" " href="https://aslonline.org/asl-committees/education/">Education</a></li> <li id="menu-item-1798" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1798"><a title=" " href="https://aslonline.org/asl-committees/membership-2/">Membership</a></li> <li id="menu-item-1797" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1797"><a title=" " href="https://aslonline.org/asl-committees/prizes-and-awards/">Prizes and Awards</a></li> <li id="menu-item-1796" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1796"><a title=" " href="https://aslonline.org/asl-committees/publications/">Publications</a></li> <li id="menu-item-1795" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1795"><a title=" " href="https://aslonline.org/asl-committees/translations/">Translations</a></li> </ul> </li> <li id="menu-item-1766" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1766"><a title=" " href="https://aslonline.org/membership/">ASL Membership</a> <ul class="sub-menu"> <li id="menu-item-1767" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1767"><a title=" " href="https://aslonline.org/membership/individual-membership/">Individual</a></li> <li id="menu-item-1768" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1768"><a title=" " href="https://aslonline.org/membership/institutional-membership/">Institutional</a></li> <li id="menu-item-1769" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1769"><a title=" " href="https://aslonline.org/membership/world-bank-list/">World Bank List</a></li> <li id="menu-item-1770" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1770"><a title=" " href="https://aslonline.org/membership/member-services-and-resources/">Services</a></li> </ul> </li> <li id="menu-item-1774" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1774"><a title=" " href="https://aslonline.org/prizes-and-awards/">Prizes and Awards</a> <ul class="sub-menu"> <li id="menu-item-1775" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1775"><a title=" " href="https://aslonline.org/prizes-and-awards/karp-prize-recipients/">Karp Prize Recipients</a></li> <li id="menu-item-1776" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1776"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/">Sacks Prize Recipients</a> <ul class="sub-menu"> <li id="menu-item-1777" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1777"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/sacks-prize-nominations/">Nominations</a></li> </ul> </li> <li id="menu-item-1779" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1779"><a title=" " href="https://aslonline.org/prizes-and-awards/shoenfield-prize-recipients/">Shoenfield Prize Recipients</a></li> <li id="menu-item-1778" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1778"><a title=" " href="https://aslonline.org/prizes-and-awards/godel-lecturers/">G枚del Lecturers</a></li> </ul> </li> <li id="menu-item-2554" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2554"><a href="https://aslonline.org/membership/donating-to-the-asl/">Donating to the ASL</a></li> <li id="menu-item-1771" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1771"><a title=" " href="https://aslonline.org/other-information/">Other Information</a> <ul class="sub-menu"> <li id="menu-item-1772" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1772"><a title=" " href="https://aslonline.org/other-information/617-2/">Newsletters</a></li> <li id="menu-item-1783" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1783"><a title=" " href="https://aslonline.org/other-information/advertisers/">Advertisers</a></li> </ul> </li> <li id="menu-item-1784" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1784"><a title=" " href="https://aslonline.org/sitemap/">Sitemap</a></li> <li id="menu-item-1773" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1773"><a title=" " href="https://aslonline.org/info-contact/">Contact</a></li> </ul></div> </nav> <footer id="colophon" class="site-footer"> <div class="site-info"> <div class="site-branding"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="./wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></div> <div class="site-address">Department of Mathematics<br />University of Connecticut<br /><a class="footer-link" href="https://maps.google.com/?q=341+Mansfield+Road&entry=gmail&source=g">341 Mansfield Road,</a> U-1009<br /> Storrs, CT 06269-1009, USA<br> <a href="mailto:asl@uconn.edu" class="footer-link" target="_blank" rel="noopener">asl@uconn.edu</a><br /> <br />All information 漏 Association for Symbolic Logic 2018</div>  </div> </footer> </div> <script type='text/javascript' src='https://aslonline.org/wp-content/plugins/bootstrap-modals/js/bootstrap.min.js?ver=3.3.7' id='modaljs-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/navigation.js?ver=20151215' id='asl-navigation-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/skip-link-focus-fix.js?ver=20151215' id='asl-skip-link-focus-fix-js'></script> </body> </html>