[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&spellcheck=true&facet=true&facet.limit=30&facet.field=topic_facet&facet.field=institution&facet.field=building&facet.field=format&facet.field=callnumber-first&facet.field=author_facet&facet.field=language&facet.field=genre_facet&facet.field=era_facet&facet.field=geographic_facet&facet.sort=count&facet.mincount=1&sort=score+desc%2Cid+asc&hl=true&hl.simple.pre=%7B%7B%7B%7BSTART_HILITE%7D%7D%7D%7D&hl.simple.post=%7B%7B%7B%7BEND_HILITE%7D%7D%7D%7D&spellcheck.dictionary=default&wt=json&json.nl=arrarr&rows=20&start=0&spellcheck.q=propositional+representation%2A&qf=title_short%5E750+title_full_unstemmed%5E600+title_full%5E400+title%5E500+title_alt%5E200+title_new%5E100+series%5E50+series2%5E30+author%5E300+contents%5E10+topic_unstemmed%5E550+topic%5E500+geographic%5E300+genre%5E300+allfields_unstemmed%5E10+fulltext_unstemmed%5E10+allfields+fulltext+description+isbn+issn+long_lat_display&qt=edismax&mm=0%25&hl.fl=title_short%2Ctitle_full_unstemmed%2Ctitle_full%2Ctitle%2Ctitle_alt%2Ctitle_new%2Cseries%2Cseries2%2Cauthor%2Ccontents%2Ctopic_unstemmed%2Ctopic%2Cgeographic%2Cgenre%2Callfields_unstemmed%2Cfulltext_unstemmed%2Callfields%2Cfulltext%2Cdescription%2Cisbn%2Cissn%2Clong_lat_display&q=propositional+representation%2A  
[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&spellcheck=true&facet=true&facet.limit=30&facet.field=topic_facet&facet.field=institution&facet.field=building&facet.field=format&facet.field=callnumber-first&facet.field=author_facet&facet.field=language&facet.field=genre_facet&facet.field=era_facet&facet.field=geographic_facet&facet.sort=count&facet.mincount=1&sort=score+desc%2Cid+asc&hl=true&hl.simple.pre=%7B%7B%7B%7BSTART_HILITE%7D%7D%7D%7D&hl.simple.post=%7B%7B%7B%7BEND_HILITE%7D%7D%7D%7D&spellcheck.dictionary=default&wt=json&json.nl=arrarr&rows=20&start=0&spellcheck.q=propositional+representation%2A&qf=title_short%5E750+title_full_unstemmed%5E600+title_full%5E400+title%5E500+title_alt%5E200+title_new%5E100+series%5E50+series2%5E30+author%5E300+contents%5E10+topic_unstemmed%5E550+topic%5E500+geographic%5E300+genre%5E300+allfields_unstemmed%5E10+fulltext_unstemmed%5E10+allfields+fulltext+description+isbn+issn+long_lat_display&qt=edismax&mm=0%25&hl.fl=title_short%2Ctitle_full_unstemmed%2Ctitle_full%2Ctitle%2Ctitle_alt%2Ctitle_new%2Cseries%2Cseries2%2Cauthor%2Ccontents%2Ctopic_unstemmed%2Ctopic%2Cgeographic%2Cgenre%2Callfields_unstemmed%2Cfulltext_unstemmed%2Callfields%2Cfulltext%2Cdescription%2Cisbn%2Cissn%2Clong_lat_display&q=propositional+representation%2A  
[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK {"time":0.005984067916870117} 
[2026-06-27T07:15:03-04:00] vufind.DEBUG: Deserialized SOLR response {"qtime":4} 
[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&spellcheck=true&spellcheck.dictionary=basicSpell&wt=json&json.nl=arrarr&rows=0&start=0&spellcheck.q=propositional+representation%2A&qf=title_short%5E750+title_full_unstemmed%5E600+title_full%5E400+title%5E500+title_alt%5E200+title_new%5E100+series%5E50+series2%5E30+author%5E300+contents%5E10+topic_unstemmed%5E550+topic%5E500+geographic%5E300+genre%5E300+allfields_unstemmed%5E10+fulltext_unstemmed%5E10+allfields+fulltext+description+isbn+issn+long_lat_display&qt=edismax&mm=0%25&hl.fl=title_short%2Ctitle_full_unstemmed%2Ctitle_full%2Ctitle%2Ctitle_alt%2Ctitle_new%2Cseries%2Cseries2%2Cauthor%2Ccontents%2Ctopic_unstemmed%2Ctopic%2Cgeographic%2Cgenre%2Callfields_unstemmed%2Cfulltext_unstemmed%2Callfields%2Cfulltext%2Cdescription%2Cisbn%2Cissn%2Clong_lat_display&q=propositional+representation%2A  
[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&spellcheck=true&spellcheck.dictionary=basicSpell&wt=json&json.nl=arrarr&rows=0&start=0&spellcheck.q=propositional+representation%2A&qf=title_short%5E750+title_full_unstemmed%5E600+title_full%5E400+title%5E500+title_alt%5E200+title_new%5E100+series%5E50+series2%5E30+author%5E300+contents%5E10+topic_unstemmed%5E550+topic%5E500+geographic%5E300+genre%5E300+allfields_unstemmed%5E10+fulltext_unstemmed%5E10+allfields+fulltext+description+isbn+issn+long_lat_display&qt=edismax&mm=0%25&hl.fl=title_short%2Ctitle_full_unstemmed%2Ctitle_full%2Ctitle%2Ctitle_alt%2Ctitle_new%2Cseries%2Cseries2%2Cauthor%2Ccontents%2Ctopic_unstemmed%2Ctopic%2Cgeographic%2Cgenre%2Callfields_unstemmed%2Cfulltext_unstemmed%2Callfields%2Cfulltext%2Cdescription%2Cisbn%2Cissn%2Clong_lat_display&q=propositional+representation%2A  
[2026-06-27T07:15:03-04:00] vufind.DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK {"time":0.0044879913330078125} 
[2026-06-27T07:15:03-04:00] vufind.DEBUG: Deserialized SOLR response {"qtime":2} 
<!DOCTYPE html><html lang="es">
  <head>
        <meta name="viewport" content="width=device-width,initial-scale=1.0">
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="Generator" content="VuFind 11.0.3">    
    <title>Resultados de búsqueda - propositional representation* :: Library Catalog</title>                <link href="/themes/root/images/vufind-favicon.ico?_=1776953272" rel="icon" type="image/x-icon">
<link href="/Search/OpenSearch?method=describe" rel="search" type="application/opensearchdescription+xml" title="Búsqueda en el catálogo">
<link href="/themes/sandal5/css/compiled.css?_=1776953272" media="all" rel="stylesheet" type="text/css">
<link href="/themes/bootstrap5/css/print.css?_=1776953272" media="print" rel="stylesheet" type="text/css">

<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=">
    //<!--
    var userIsLoggedIn = false;
    //-->
</script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/polyfills.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/vendor/jquery.min.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/vendor/popper.min.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/vendor/bootstrap.min.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/vendor/autocomplete.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/lib/ajax_request_queue.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/common.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/config.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/lightbox.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/cookie.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/searchbox_controls.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/truncate.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/trigger_print.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/observer_manager.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/openurl.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/list_item_selection.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/covers.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/validation.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/copy_to_clipboard.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/check_item_statuses.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/check_save_statuses.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/record_versions.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/combined-search.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/search.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=">
    //<!--
    var multiFacetsSelection = "false";
    //-->
</script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/facets.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=" src="/themes/bootstrap5/js/account_ajax.js?_=1776953272"></script>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=">
    //<!--
    VuFind.path = '';
VuFind.defaultSearchBackend = 'Solr';
VuFind.config.add({"sticky-elements":[],"sticky-children-classes":[],"item-status:load-batch-wise":"1","item-status:load-observable-only":"1"});
VuFind.addTranslations({"add_tag_success":"Etiquetas Guardadas","bulk_email_success":"Sus elementos han sido enviados","bulk_limit_exceeded":"La selecci\u00f3n de %%count%% \u00edtems excede el l\u00edmite de %%limit%% para esta acci\u00f3n. Seleccione menos \u00edtems&quot;.","bulk_noitems_advice":"Ninguna copia fue seleccionada. Por favor hacer clic en la casilla cercana a la copia e intentar nuevamente.","bulk_save_success":"Sus elementos han sido guardados","channel_more_items":"Cargar m\u00e1s \u00edtems","clear_selection":"Borrar selecci\u00f3n (%%count%%)","close":"cerrar","collection_empty":"No hay elementos a desplegar.","del_search_num":"Eliminar grupo de b\u00fasqueda %%num%%","eol_ellipsis":"\u2026","error_occurred":"Ha ocurrido un error","go_to_list":"Ir a la Lista","hold_available":"Disponible para llevar","less_ellipsis":"menos\u2026","libphonenumber_invalid":"N\u00famero de tel\u00e9fono no v\u00e1lido","libphonenumber_invalidcountry":"C\u00f3digo de pa\u00eds no v\u00e1lido","libphonenumber_invalidregion":"C\u00f3digo de regi\u00f3n no v\u00e1lido","libphonenumber_notanumber":"La numeraci\u00f3n suministrada no parece ser un n\u00famero de tel\u00e9fono","libphonenumber_toolong":"La numeraci\u00f3n suministrada es demasiado larga para ser un n\u00famero de tel\u00e9fono","libphonenumber_tooshort":"La numeraci\u00f3n suministrada es demasiada corta para ser un n\u00famero de tel\u00e9fono","libphonenumber_tooshortidd":"N\u00famero de tel\u00e9fono demasiado corto despu\u00e9s del Marcado Directo Internacional","loading_ellipsis":"Cargando\u2026","modified_filter_count":"Has modificado %%count%% el filtro(s).","more_ellipsis":"m\u00e1s\u2026","no_description":"Descripci\u00f3n no disponible.","nohit_heading":"\u00a1Sin Resultados!","number_thousands_separator":",","sms_success":"Mensaje enviado.","No pickup locations available":"No hay lugares de recogida disponibles","Phone number invalid":"N\u00famero de tel\u00e9fono no v\u00e1lido","Invalid country calling code":"C\u00f3digo de pa\u00eds no v\u00e1lido","Invalid region code":"C\u00f3digo de regi\u00f3n no v\u00e1lido","The string supplied did not seem to be a phone number":"La numeraci\u00f3n suministrada no parece ser un n\u00famero de tel\u00e9fono","The string supplied is too long to be a phone number":"La numeraci\u00f3n suministrada es demasiado larga para ser un n\u00famero de tel\u00e9fono","The string supplied is too short to be a phone number":"La numeraci\u00f3n suministrada es demasiada corta para ser un n\u00famero de tel\u00e9fono","Phone number too short after IDD":"N\u00famero de tel\u00e9fono demasiado corto despu\u00e9s del Marcado Directo Internacional","account_checkouts_due":"Items por vencer pronto","account_checkouts_overdue":"Items vencidos","account_has_alerts":"Tu cuenta tiene alertas","account_normal_checkouts":"Copias Prestadas","account_requests_available":"Disponible para llevar","account_requests_in_transit":"En Tr\u00e1nsito para recoger en la biblioteca","account_requests_other":"Otro Estatus"});
VuFind.addIcons({"spinner":"<span class=\"icon icon--font fa fa-spinner icon--spin\" role=\"img\" aria-hidden=\"true\"><\/span>","ui-dots-menu":"<span class=\"icon icon--font fa fa-ellipsis-h\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-checked":"<span class=\"icon icon--font fa fa-check-square-o\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-collapse":"<span class=\"icon icon--font fa fa-caret-down\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-exclude":"<span class=\"icon icon--font fa fa-times\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-expand":"<span class=\"icon icon--font fa fa-caret-right\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-noncollapsible":"<span class=\"icon icon--font fa fa-none\" role=\"img\" aria-hidden=\"true\"><\/span>","facet-unchecked":"<span class=\"icon icon--font fa fa-square-o\" role=\"img\" aria-hidden=\"true\"><\/span>","format-file":"<span class=\"icon icon--font fa fa-file-o\" role=\"img\" aria-hidden=\"true\"><\/span>","format-folder":"<span class=\"icon icon--font fa fa-folder\" role=\"img\" aria-hidden=\"true\"><\/span>","my-account":"<span class=\"icon icon--font fa fa-user-circle-o\" role=\"img\" aria-hidden=\"true\"><\/span>","my-account-notification":"<span class=\"icon icon--font fa fa-bell\" role=\"img\" aria-hidden=\"true\"><\/span>","my-account-warning":"<span class=\"icon icon--font fa fa-exclamation-triangle\" role=\"img\" aria-hidden=\"true\"><\/span>","place-hold":"<span class=\"icon icon--font fa fa-flag\" role=\"img\" aria-hidden=\"true\"><\/span>","place-ill-request":"<span class=\"icon icon--font fa fa-exchange\" role=\"img\" aria-hidden=\"true\"><\/span>","place-storage-retrieval":"<span class=\"icon icon--font fa fa-truck\" role=\"img\" aria-hidden=\"true\"><\/span>","status-available":"<span class=\"icon icon--font fa fa-check\" role=\"img\" aria-hidden=\"true\"><\/span>","status-pending":"<span class=\"icon icon--font fa fa-clock-o\" role=\"img\" aria-hidden=\"true\"><\/span>","status-ready":"<span class=\"icon icon--font fa fa-bell\" role=\"img\" aria-hidden=\"true\"><\/span>","status-unavailable":"<span class=\"icon icon--font fa fa-times\" role=\"img\" aria-hidden=\"true\"><\/span>","status-uncertain":"<span class=\"icon icon--font fa fa-circle\" role=\"img\" aria-hidden=\"true\"><\/span>","status-unknown":"<span class=\"icon icon--font fa fa-circle\" role=\"img\" aria-hidden=\"true\"><\/span>","ui-failure":"<span class=\"icon icon--font fa fa-times\" role=\"img\" aria-hidden=\"true\"><\/span>","ui-success":"<span class=\"icon icon--font fa fa-check\" role=\"img\" aria-hidden=\"true\"><\/span>","truncate-less":"<span class=\"icon icon--font fa fa-arrow-up\" role=\"img\" aria-hidden=\"true\"><\/span>","truncate-more":"<span class=\"icon icon--font fa fa-arrow-down\" role=\"img\" aria-hidden=\"true\"><\/span>"});
VuFind.setCspNonce('8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=');
VuFind.setCurrentSearchId(440096);
VuFind.setTheme("sandal5");
VuFind.cookie.setCookiePath("\/");
VuFind.cookie.setCookieSameSite("Lax");
VuFind.lightbox.parent = "https:\/\/buscador.riep.dev.app.rnp.br\/Search\/Results?lng=es&lookfor=propositional%20representation%2A";
    //-->
</script>  </head>
  <body class="template-dir-search template-name-results ">
    <header class="hidden-print">
              <span class="visually-hidden" role="heading" aria-level="1">Su búsqueda - <strong>propositional representation*</strong> - No coincide ningún recurso.</span>
            <a class="visually-hidden-focusable" href="#content">Saltar al contenido</a>
      <nav class="banner navbar navbar-expand-md">
  <div class="container">
    <a class="navbar-brand lang-es" href="/">VuFind</a>
    <button type="button" class="navbar-toggler" data-bs-toggle="collapse" data-bs-target="#header-collapse" aria-label="Botón de navegación">
      <span class="icon icon--font fa fa-bars" role="img" aria-hidden="true"></span>    </button>
          <div class="collapse navbar-collapse justify-content-end" id="header-collapse">
        <ul class="nav navbar-nav">
                                                                  <li class="nav-item" id="loginOptions">
                                <a href="/MyResearch/UserLogin" class="nav-link icon-link" data-lightbox="1">
                  <span class="icon icon--font fa fa-sign-in icon-link__icon" role="img" aria-hidden="true"></span>                  <span class="icon-link__label">Entrar</span>
                </a>
              </li>
                      
                        

<li class="nav-item theme-selector dropdown vc-menu-button">  <button type="button" class="nav-link dropdown-toggle" data-bs-toggle="dropdown" aria-expanded="false" aria-haspopup="true">Tema<span class="icon icon--font fa fa-caret-down" role="img" aria-hidden="true"></span></button>
  <ul class="dropdown-menu">
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link"
          href="/Search/Results?lng=es&amp;lookfor=propositional%20representation%2A&amp;ui=bpea"
                               data-click-set-query-params="ui=bpea"          rel="nofollow"
        >
          BPEA        </a>
      </li>
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link"
          href="/Search/Results?lng=es&amp;lookfor=propositional%20representation%2A&amp;ui=bs5"
                               data-click-set-query-params="ui=bs5"          rel="nofollow"
        >
          Boot Strap 5        </a>
      </li>
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link active"
          href="/Search/Results?lng=es&amp;lookfor=propositional%20representation%2A&amp;ui=snd5"
                               data-click-set-query-params="ui=snd5"          rel="nofollow"
        >
          Sandal5        </a>
      </li>
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link"
          href="/Search/Results?lng=es&amp;lookfor=propositional%20representation%2A&amp;ui=lte"
                               data-click-set-query-params="ui=lte"          rel="nofollow"
        >
          Local Theme        </a>
      </li>
      </ul>
</li>          
                        

<li class="nav-item language dropdown vc-menu-button">  <button type="button" class="nav-link dropdown-toggle" data-bs-toggle="dropdown" aria-expanded="false" aria-haspopup="true">Lenguaje<span class="icon icon--font fa fa-caret-down" role="img" aria-hidden="true"></span></button>
  <ul class="dropdown-menu">
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link"
          href="/Search/Results?lng=en&amp;lookfor=propositional%20representation%2A"
                               data-click-set-query-params="lng=en"          rel="nofollow"
        >
          English        </a>
      </li>
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link active"
          href="/Search/Results?lng=es&amp;lookfor=propositional%20representation%2A"
                               data-click-set-query-params="lng=es"          rel="nofollow"
        >
          Español        </a>
      </li>
          <li class="dropdown__item">
        <a class="dropdown-item dropdown__link"
          href="/Search/Results?lng=pt-br&amp;lookfor=propositional%20representation%2A"
                               data-click-set-query-params="lng=pt-br"          rel="nofollow"
        >
          Português (Brasil)        </a>
      </li>
      </ul>
</li>                  </ul>
      </div>
      </div>
</nav>
  <div class="search container navbar">
    <div class="nav searchbox hidden-print" role="search">
        <div class="keyboard-box">
    <div class="simple-keyboard"></div>
  </div>
  <form id="searchForm" class="searchForm navbar-form navbar-left flip" method="get" action="/Search/Results" name="searchForm" autocomplete="off">
        <div class="searchForm-inputs">
            <div class="searchForm-query">
        <input id="searchForm_lookfor" class="searchForm_lookfor form-control search-query autocomplete searcher:Solr ac-auto-submit" type="text" name="lookfor" value="propositional representation*" aria-label="Términos de búsqueda" data-autocomplete-formatting-rules="{&quot;*&quot;:&quot;phrase&quot;,&quot;alphabrowse_author&quot;:&quot;none&quot;,&quot;alphabrowse_lcc&quot;:&quot;none&quot;,&quot;alphabrowse_title&quot;:&quot;none&quot;,&quot;alphabrowse_topic&quot;:&quot;none&quot;,&quot;tag&quot;:&quot;none&quot;}" data-autocomplete-display-limit="20">
        <div id="searchForm_controls">
          <button
            id="searchForm-reset"
            class="searchForm-reset hidden"
            tabindex="-1"
            type="button"
            title="Borrar consulta"
            aria-label="Borrar consulta"
          ><span class="icon icon--font fa fa-times" role="img" aria-hidden="true"></span></button>
                  </div>
      </div>
              <select id="searchForm_type" class="searchForm_type form-select" name="type" data-native-menu="false" aria-label="Search type">
                                            <option value="AllFields" selected="selected">Todos los Campos</option>
                                  <option value="Title">Título</option>
                                  <option value="Author">Autor</option>
                                  <option value="Subject">Materia</option>
                                  <option value="CallNumber">Número de Clasificación</option>
                                  <option value="ISN">ISBN/ISSN</option>
                                  <option value="tag">Etiqueta</option>
                            </select>
            <button type="submit" class="btn btn-primary"><span class="icon icon--font fa fa-search" role="img" aria-hidden="true"></span> Buscar</button>
                      <a href="/Search/Advanced?sid=440096" class="advanced-search-link btn btn-link" rel="nofollow">Avanzado</a>
            
                              <input type="hidden" name="limit" value="20">    </div>
    
  </form>
    </div>
  </div>
    </header>
        <nav class="breadcrumbs" aria-label="Ruta de Exploración">
    <div class="container">
        <ul class="breadcrumb hidden-print"><li class="breadcrumb-item active" aria-current="page">Resultados de búsqueda - propositional representation*</li>
</ul>
    </div>
    </nav>
    <div role="main" class="main">
      <div id="content" class="container">
        
<h1 class="visually-hidden">Resultados de búsqueda - propositional representation*</h1>

<div class="mainbody left">
      <div class="search-header hidden-print">
        <div class="search-stats" data-record-total="0">
              <h2>¡Sin Resultados!</h2>
          </div>

      </div>
  
  
      <p>
      Su búsqueda - <strong>propositional representation*</strong> - No coincide ningún recurso.    </p>
                <script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=">
    //<!--
    VuFind.truncate.initTruncate('.top-facets-contents');
    //-->
</script>                                                          <div class="querySuggestions alert alert-info">
    <h2>Puede conseguir más resultados ajustando la consulta de búsqueda.</h2>
    <ul>
              <li>Realizar una búsqueda difusa puede recuperar términos con ortografía similares: <a href="?lookfor=propositional+representation%7E">propositional representation~</a>.</li>
          </ul>
  </div>
                                              </div>

  <div class="sidebar right hidden-print" id="search-sidebar" role="region" aria-label="Búsqueda en la barra lateral">
          <button class="close-offcanvas btn btn-link vc-hide-offcanvas-button" data-toggle="vufind-offcanvas">
        <span class="btn-link__label">Atrás</span>
    </button>
<script  nonce="8/cd8xC261RVBDTqFTgNTLJPi03iS4B65kisghEOGUU=">
    //<!--
    registerSideFacetTruncation();
    //-->
</script>      </div>
      </div>
    </div>
    <footer class="hidden-print">
  <div class="footer-container">
    <div class="footer-column">
              <h2>Opciones de búsqueda</h2>
        <ul>
          <li><a href="/Search/History">Historial de Búsqueda</a></li>
          <li><a href="/Search/Advanced">Búsqueda Avanzada</a></li>
        </ul>
          </div>
    <div class="footer-column">
              <h2>Buscar Más</h2>
        <ul>
          <li><a href="/Browse/Home">Revisar el Catálogo</a></li>
          <li><a href="/Alphabrowse/Home">Lista Alfabética</a></li>
          <li><a href="/Channels/Home">Explorar canales</a></li>
          <li><a href="/Search/Reserves">Reservas de Curso</a></li>
          <li><a href="/Search/NewItem">Nuevos ejemplares</a></li>
        </ul>
          </div>
    <div class="footer-column">
              <h2>¿Necesita Ayuda?</h2>
        <ul>
          <li><a href="/Help/search" data-lightbox class="help-link">Consejos de búsqueda</a></li>
          <li><a href="/Content/asklibrary">Consulte a un Bibliotecario</a></li>
          <li><a href="/Content/faq">Preguntas Frecuentes</a></li>
                  </ul>
          </div>
  </div>
  <div class="poweredby">
      </div>
</footer>
    <!-- MODAL IN CASE WE NEED ONE -->
    <div id="modal" class="modal fade hidden-print" tabindex="-1" role="dialog" aria-hidden="true">
      <div class="modal-dialog">
        <div class="modal-content">
          <button type="button" class="close" data-bs-dismiss="modal" aria-label="Close">
            <span class="icon icon--font fa fa-times" role="img" aria-hidden="true"></span>          </button>
          <div class="modal-body"></div>
        </div>
      </div>
    </div>
    <div class="vufind-offcanvas-overlay" data-toggle="vufind-offcanvas"></div>
        
      </body>
</html>