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>Perspectives in Logic – 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/232" /><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/perspectives-in-logic/" /> <link rel='shortlink' href='https://aslonline.org/?p=232' /> <link rel="alternate" type="application/json+oembed" href="https://aslonline.org/wp-json/oembed/1.0/embed?url=https%3A%2F%2Faslonline.org%2Fbooks%2Fperspectives-in-logic%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%2Fperspectives-in-logic%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-232 page-parent page-child parent-pageid-201"> <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-232" class="post-232 page type-page status-publish hentry"> <header class="entry-header"> <h1 class="entry-title">Perspectives in Logic</h1> </header> <div class="entry-content"> <p class="style1">Logic is a subject which is both rich and varied. Its origins lie in philosophy and the foundations of mathematics. But during the last half century it formed deep links with many branches of mathematics. More recently it has become a central tool in theoretical computer science, and its influence in linguistics is growing rapidly.</p> <p class="style1">The聽<em>Perspectives in Logic</em>聽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. Each book offers an illuminating perspective for its intended audience. The ASL is committed to making books in the Perspectives in Logic series available at a reasonable cost, and intends to keep them available in print or electronic form indefinitely. See our <a href="https://aslonline.org/books/perspectives-in-logic/instructions-for-authors/">instructions for authors</a></p> <p class="style1">This series is the successor to the series聽<em>Perspectives in Mathematical Logic</em>, which was founded in 1969 by the Omega Group, consisting of R. O. Gandy, H. Hermes, A. Levy, G. H. M眉ller, G. E. Sacks and D. S. Scott. This group was initially sponsored by a grant from the Stiftung Volkswagenwerk and the series appeared under the auspices of the Heidelberger Akademie der Wissenschaften. From 1986 to 2001,聽<em>Perspectives in Mathematical Logic</em>聽was published by Springer-Verlag under editorial direction of the Association for Symbolic Logic. In 2001 the ASL assumed full responsibility for the series and broadened its scope to include all of logic. It is now published jointly with Cambridge University Press as聽<em>Perspectives in Logic</em>.</p> <p class="style1">Individual descriptions and instructions about purchasing all volumes for which we hold the copyright can be found on our聽<a href="https://aslonline.org/books/perspectives-in-logic/available-volumes/">available volumes</a> page. Members of the ASL are entitled to a 25% discount on books in the Perspectives in Logic series published by Cambridge University Press. Use code <em>ASL2016</em>.</p> </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-page-ancestor current-menu-ancestor current-menu-parent current-page-parent current_page_parent current_page_ancestor menu-item-has-children menu-item-1752"><a title=" " href="https://aslonline.org/books/">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 current-menu-item page_item page-item-232 current_page_item menu-item-has-children menu-item-1759"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/" aria-current="page">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>