Archive for Mathematical Logic

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="Archive for Mathematical Logic" /> <link rel="stylesheet" type="text/css" href="/assets/478ca885/gridview/styles.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/abound.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> <script type="text/javascript" src="/assets/477bc0eb/jquery.min.js"></script> <script type="text/javascript" src="/assets/477bc0eb/jquery.ba-bbq.min.js"></script> <script type="text/javascript" src="/themes/abound/js/bootstrap.min.js"></script> <script type="text/javascript" src="/themes/abound/js/plugins/jquery.flot.min.js"></script> <title>Archive for Mathematical Logic</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/>  <meta name="author" content="www.myhuiban.com"/>    <link rel="alternate" hreflang="x-default" href="/journal/445" /> <link rel="alternate" hreflang="en" href="/journal/445?lang=en_us" /> <link rel="alternate" hreflang="es" href="/journal/445?lang=es" /> <link rel="alternate" hreflang="zh" href="/journal/445?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/journal/445?lang=ja" />  <link rel="shortcut icon" href="/themes/abound/img/icons/favicon.ico"> <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/themes/abound/img/icons/apple-touch-icon-144-precomposed.png"> <link rel="apple-touch-icon-precomposed" sizes="72x72" href="/themes/abound/img/icons/apple-touch-icon-72-precomposed.png"> <link rel="apple-touch-icon-precomposed" href="/themes/abound/img/icons/apple-touch-icon-57-precomposed.png">   <script async src="https://www.googletagmanager.com/gtag/js?id=UA-16655604-2"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-16655604-2'); </script> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js?client=ca-pub-6743617430731451" crossorigin="anonymous"></script>  <script type="text/javascript" async=true> (function() { var host = "www.themoneytizer.com"; var element = document.createElement('script'); var firstScript = document.getElementsByTagName('script')[0]; var url = 'https://cmp.inmobi.com' .concat('/choice/', '6Fv0cGNfc_bw8', '/', host, '/choice.js?tag_version=V3'); var uspTries = 0; var uspTriesLimit = 3; element.async = true; element.type = 'text/javascript'; element.src = url; firstScript.parentNode.insertBefore(element, firstScript); function makeStub() { var TCF_LOCATOR_NAME = '__tcfapiLocator'; var queue = []; var win = window; var cmpFrame; function addFrame() { var doc = win.document; var otherCMP = !!(win.frames[TCF_LOCATOR_NAME]); if (!otherCMP) { if (doc.body) { var iframe = doc.createElement('iframe'); iframe.style.cssText = 'display:none'; iframe.name = TCF_LOCATOR_NAME; doc.body.appendChild(iframe); } else { setTimeout(addFrame, 5); } } return !otherCMP; } function tcfAPIHandler() { var gdprApplies; var args = arguments; if (!args.length) { return queue; } else if (args[0] === 'setGdprApplies') { if ( args.length > 3 && args[2] === 2 && typeof args[3] === 'boolean' ) { gdprApplies = args[3]; if (typeof args[2] === 'function') { args[2]('set', true); } } } else if (args[0] === 'ping') { var retr = { gdprApplies: gdprApplies, cmpLoaded: false, cmpStatus: 'stub' }; if (typeof args[2] === 'function') { args[2](retr); } } else { if(args[0] === 'init' && typeof args[3] === 'object') { args[3] = Object.assign(args[3], { tag_version: 'V3' }); } queue.push(args); } } function postMessageEventHandler(event) { var msgIsString = typeof event.data === 'string'; var json = {}; try { if (msgIsString) { json = JSON.parse(event.data); } else { json = event.data; } } catch (ignore) {} var payload = json.__tcfapiCall; if (payload) { window.__tcfapi( payload.command, payload.version, function(retValue, success) { var returnMsg = { __tcfapiReturn: { returnValue: retValue, success: success, callId: payload.callId } }; if (msgIsString) { returnMsg = JSON.stringify(returnMsg); } if (event && event.source && event.source.postMessage) { event.source.postMessage(returnMsg, '*'); } }, payload.parameter ); } } while (win) { try { if (win.frames[TCF_LOCATOR_NAME]) { cmpFrame = win; break; } } catch (ignore) {} if (win === window.top) { break; } win = win.parent; } if (!cmpFrame) { addFrame(); win.__tcfapi = tcfAPIHandler; win.addEventListener('message', postMessageEventHandler, false); } }; makeStub(); var uspStubFunction = function() { var arg = arguments; if (typeof window.__uspapi !== uspStubFunction) { setTimeout(function() { if (typeof window.__uspapi !== 'undefined') { window.__uspapi.apply(window.__uspapi, arg); } }, 500); } }; var checkIfUspIsReady = function() { uspTries++; if (window.__uspapi === uspStubFunction && uspTries < uspTriesLimit) { console.warn('USP is not accessible'); } else { clearInterval(uspInterval); } }; if (typeof window.__uspapi === 'undefined') { window.__uspapi = uspStubFunction; var uspInterval = setInterval(checkIfUspIsReady, 6000); } })(); </script>  <style> .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { background-color: transparent !important; border-color: #000000 !important; } .qc-cmp-alt-action, .qc-cmp-link { color: #000000 !important; } .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { color: #ffffff !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { color: #000000 !important; } .qc-cmp-small-toggle, .qc-cmp-toggle { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-main-messaging, .qc-cmp-messaging, .qc-cmp-sub-title, .qc-cmp-privacy-settings-title, .qc-cmp-purpose-list, .qc-cmp-tab, .qc-cmp-title, .qc-cmp-vendor-list, .qc-cmp-vendor-list-title, .qc-cmp-enabled-cell, .qc-cmp-toggle-status, .qc-cmp-table, .qc-cmp-table-header { color: #000000 !important; } .qc-cmp-ui { background-color: #ffffff !important; } .qc-cmp-table, .qc-cmp-table-row { border: 1px solid !important; border-color: #000000 !important; } #qcCmpButtons a { text-decoration: none !important; } #qcCmpButtons button { margin-top: 65px; } @media screen and (min-width: 851px) { #qcCmpButtons a { position: absolute; bottom: 10%; left: 60px; } } .qc-cmp-qc-link-container{ display:none; } </style> </head> <body> <section id="navigation-main">  <div class="navbar navbar-inverse navbar"> <div class="navbar-inner"> <div class="container"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a>  <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw12"> <li class="item-test"><a href="/">Home</a></li> <li class="item-test"><a href="/conferences">Conferences</a></li> <li class="item-test"><a href="/journals">Journals</a></li> <li class="item-test"><a href="/login">Login</a></li> </ul> </div> </div> </div> </div> <div class="subnav navbar navbar"> <div class="navbar-inner"> <div class="container"> <form class="navbar-search pull-right" id="search-form" action="/search" method="get"> <div> <img src="/images/CN.gif"/><a href="/journal/445?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/journal/445?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/journal/445?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/journal/445?lang=ja"> 日本語 </a>     &nbsp <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div> </div> </div> </section> <section class="main-body"> <div class="container-fluid">  <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> » <a href="/journals">Journals</a> » <span>Archive for Mathematical Logic</span></div>  <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Journal Information</div> </div> <div class="portlet-content"> <div align="center"> <h5><span itemprop="name">Archive for Mathematical Logic</span></h5> <a href="https://link.springer.com/journal/153">https://link.springer.com/journal/153</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Impact Factor:</div></td> <td width="150"><div align="center">0.400</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Publisher:</div></td> <td width="150"><div align="center">Springer</div></td> </tr> <tr> <td width="150" height="25"><div align="center">ISSN:</div></td> <td width="150"><div align="center">0933-5846</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Viewed:</div></td> <td width="150"><div align="center"><span class="badge badge-success">10629</span></div></td> </tr> <tr> <td width="150" height="25"><div align="center">Tracked:</div></td> <td width="150"><div align="center"><span class="badge badge-warning">0</span></div></td> </tr> </table> </div> </div> </div> <div class="portlet" id="yw1"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-bullhorn"></i> Call For Papers</div> </div> <div class="portlet-content"> <pre>Aims and scope The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-07-22</div> </div> </div>  <div class="portlet" id="yw3"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-file"></i> Related Journals</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw4" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw4_c0">CCF</th><th id="yw4_c1">Full Name</th><th id="yw4_c2">Impact Factor</th><th id="yw4_c3">Publisher</th><th id="yw4_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/107">Data Mining and Knowledge Discovery</a></td><td>2.800</td><td>Springer</td><td>1384-5810</td></tr> <tr class="even"> <td></td><td><a href="/journal/951">Image Processing On Line</a></td><td></td><td>IPOL</td><td>2105-1232</td></tr> <tr class="odd"> <td></td><td><a href="/journal/759">Journal of Computer Assisted Learning</a></td><td>5.100</td><td>Wiley-Blackwell</td><td>0266-4909</td></tr> <tr class="even"> <td></td><td><a href="/journal/866">International Biomechanics</a></td><td></td><td>Taylor & Francis</td><td>2333-5432</td></tr> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/40">The Journal of Supercomputing</a></td><td>2.500</td><td>Springer</td><td>0920-8542</td></tr> <tr class="even"> <td></td><td><a href="/journal/594">ACM Transactions on Modeling and Computer Simulation</a></td><td>0.700</td><td>ACM</td><td>1049-3301</td></tr> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/688">Journal of Electronic Testing: Theory and Applications</a></td><td>1.100</td><td>Springer</td><td>0923-8174</td></tr> <tr class="even"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/130">International Journal of Intelligent Systems</a></td><td> </td><td>John Wiley & Sons, Ltd</td><td>1098-111X</td></tr> <tr class="odd"> <td></td><td><a href="/journal/867">Journal of Control and Decision</a></td><td>1.500</td><td>Taylor & Francis</td><td>2330-7706</td></tr> <tr class="even"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/118">Journal of Database Management</a></td><td>2.600</td><td>IGI Global</td><td>1063-8016</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/445"><span>107</span><span>951</span><span>759</span><span>866</span><span>40</span><span>594</span><span>688</span><span>130</span><span>867</span><span>118</span></div> </div></div> <div class="visible-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">Full Name</th><th id="yw5_c1">Impact Factor</th><th id="yw5_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/107">Data Mining and Knowledge Discovery</a></td><td>2.800</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/951">Image Processing On Line</a></td><td></td><td>IPOL</td></tr> <tr class="odd"> <td><a href="/journal/759">Journal of Computer Assisted Learning</a></td><td>5.100</td><td>Wiley-Blackwell</td></tr> <tr class="even"> <td><a href="/journal/866">International Biomechanics</a></td><td></td><td>Taylor & Francis</td></tr> <tr class="odd"> <td><a href="/journal/40">The Journal of Supercomputing</a></td><td>2.500</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/594">ACM Transactions on Modeling and Computer Simulation</a></td><td>0.700</td><td>ACM</td></tr> <tr class="odd"> <td><a href="/journal/688">Journal of Electronic Testing: Theory and Applications</a></td><td>1.100</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/130">International Journal of Intelligent Systems</a></td><td> </td><td>John Wiley & Sons, Ltd</td></tr> <tr class="odd"> <td><a href="/journal/867">Journal of Control and Decision</a></td><td>1.500</td><td>Taylor & Francis</td></tr> <tr class="even"> <td><a href="/journal/118">Journal of Database Management</a></td><td>2.600</td><td>IGI Global</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/445"><span>107</span><span>951</span><span>759</span><span>866</span><span>40</span><span>594</span><span>688</span><span>130</span><span>867</span><span>118</span></div> </div></div> </div> </div> <div class="portlet" id="yw6"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-th"></i> Related Conferences</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw7" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw7_c0">CCF</th><th id="yw7_c1">CORE</th><th id="yw7_c2">QUALIS</th><th id="yw7_c3">Short</th><th id="yw7_c4">Full Name</th><th id="yw7_c5">Submission</th><th id="yw7_c6">Notification</th><th id="yw7_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td></td><td></td><td>ICIOTCC</td><td><a href="/conference/1956">International Conference on Internet of Things and Cloud Computing</a></td><td>2020-11-30</td><td> </td><td>2021-01-04</td></tr> <tr class="even"> <td></td><td></td><td></td><td>CCCG</td><td><a href="/conference/2644">Canadian Conference on Computational Geometry</a></td><td>2021-05-10</td><td>2021-06-14</td><td>2021-08-10</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>EDGE</td><td><a href="/conference/2357">International Conference on Edge Computing</a></td><td>2025-03-10</td><td>2025-05-06</td><td>2025-07-07</td></tr> <tr class="even"> <td></td><td></td><td></td><td>NLTM</td><td><a href="/conference/4132">International Conference on NLP & Text Mining</a></td><td>2023-02-11</td><td>2023-02-18</td><td>2023-02-25</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ICEECS</td><td><a href="/conference/4248">International Conference on Electrics, Electronics and Computer Scienc</a></td><td>2022-05-04</td><td> </td><td>2022-06-13</td></tr> <tr class="even"> <td></td><td></td><td></td><td>JCRAI</td><td><a href="/conference/2514">International Joint Conference on Robotics and Artificial Intelligence</a></td><td>2022-05-15</td><td>2022-05-15</td><td>2022-06-10</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>MCAE</td><td><a href="/conference/1954">International Conference on Mechatronics, Control and Automation Engineering</a></td><td>2017-09-05</td><td> </td><td>2017-09-17</td></tr> <tr class="even"> <td></td><td></td><td></td><td>SDMPR</td><td><a href="/conference/4611">Asia Conference on Statistics, Data Mining and Pattern Recognition</a></td><td>2023-09-20</td><td>2023-10-05</td><td>2023-10-27</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>DMIAF</td><td><a href="/conference/2213">Digital Media Industry & Academic Forum</a></td><td>2017-05-31</td><td>2017-06-30</td><td>2017-09-06</td></tr> <tr class="even"> <td></td><td></td><td></td><td>MCTE</td><td><a href="/conference/3237">International Conference on Mechatronics and Computer Technology Engineering</a></td><td>2019-08-26</td><td> </td><td>2019-08-30</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/445"><span>1956</span><span>2644</span><span>2357</span><span>4132</span><span>4248</span><span>2514</span><span>1954</span><span>4611</span><span>2213</span><span>3237</span></div> </div></div> <div class="visible-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">Short</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Submission</th><th id="yw8_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>ICIOTCC</td><td><a href="/conference/1956">International Conference on Internet of Things and Cloud Computing</a></td><td>2020-11-30</td><td>2021-01-04</td></tr> <tr class="even"> <td>CCCG</td><td><a href="/conference/2644">Canadian Conference on Computational Geometry</a></td><td>2021-05-10</td><td>2021-08-10</td></tr> <tr class="odd"> <td>EDGE</td><td><a href="/conference/2357">International Conference on Edge Computing</a></td><td>2025-03-10</td><td>2025-07-07</td></tr> <tr class="even"> <td>NLTM</td><td><a href="/conference/4132">International Conference on NLP & Text Mining</a></td><td>2023-02-11</td><td>2023-02-25</td></tr> <tr class="odd"> <td>ICEECS</td><td><a href="/conference/4248">International Conference on Electrics, Electronics and Computer Scienc</a></td><td>2022-05-04</td><td>2022-06-13</td></tr> <tr class="even"> <td>JCRAI</td><td><a href="/conference/2514">International Joint Conference on Robotics and Artificial Intelligence</a></td><td>2022-05-15</td><td>2022-06-10</td></tr> <tr class="odd"> <td>MCAE</td><td><a href="/conference/1954">International Conference on Mechatronics, Control and Automation Engineering</a></td><td>2017-09-05</td><td>2017-09-17</td></tr> <tr class="even"> <td>SDMPR</td><td><a href="/conference/4611">Asia Conference on Statistics, Data Mining and Pattern Recognition</a></td><td>2023-09-20</td><td>2023-10-27</td></tr> <tr class="odd"> <td>DMIAF</td><td><a href="/conference/2213">Digital Media Industry & Academic Forum</a></td><td>2017-05-31</td><td>2017-09-06</td></tr> <tr class="even"> <td>MCTE</td><td><a href="/conference/3237">International Conference on Mechatronics and Computer Technology Engineering</a></td><td>2019-08-26</td><td>2019-08-30</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/445"><span>1956</span><span>2644</span><span>2357</span><span>4132</span><span>4248</span><span>2514</span><span>1954</span><span>4611</span><span>2213</span><span>3237</span></div> </div></div> </div> </div> <div class="portlet" id="yw9"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-eye-open"></i> Recommendation</div> </div> <div class="portlet-content"> <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>  <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="1870704128" data-ad-format="autorelaxed"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> </div> </div> </div> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw10"> <li><a href="http://www.myhuiban.com/journal/track/id/445"><i class="icon icon-plus"></i>   Track It <span class="badge badge-warning pull-right">0</span></a></li> <li><a href="http://www.myhuiban.com/journal/edit/id/445"><i class="icon icon-edit"></i>   Edit CFP</a></li> <li><a href="http://www.myhuiban.com/journal/issue/id/445"><i class="icon icon-list-alt"></i>   Add Issue</a></li> </ul><br/> <div class="portlet" id="yw11"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-gift"></i> Advertisment</div> </div> <div class="portlet-content"> <div align="center"> <div id="12717-20"><script src="//ads.themoneytizer.com/s/gen.js?type=20"></script><script src="//ads.themoneytizer.com/s/requestform.js?siteId=12717&formatId=20" ></script></div> </div>    </div> </div> </div> </div> </div> </div> </section>  <footer> <div class="subnav navbar"> <div class="navbar-inner"> <div class="container"> <a href="/conferences">4,996</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,404</a> Researchers | 445,251,225 PV <br/> Copyright © 2011-2025 myhuiban.com. All Rights Reserved. <a href="/researcher/1">About Us</a> | <a target="_blank" href="https://www.facebook.com/myhuiban/">Facebook</a> | <a target="_blank" href="https://x.com/myhuiban">X</a> | <a href=mailto:admin@myhuiban.com>Post CFP or Contact Us</a> | <a href="/promotion">Promotion</a> </div> </div> </div> </footer> <script type="text/javascript" src="/assets/478ca885/gridview/jquery.yiigridview.js"></script> <script type="text/javascript"> /*<![CDATA[*/ jQuery(function($) { jQuery('#yw4').yiiGridView({'ajaxUpdate':['yw4'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw5').yiiGridView({'ajaxUpdate':['yw5'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw7').yiiGridView({'ajaxUpdate':['yw7'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw8').yiiGridView({'ajaxUpdate':['yw8'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); }); /*]]>*/ </script> </body> </html>

CINXE.COM

Archive for Mathematical Logic