Browsing by Subject Lògica de primer ordre
Showing results 1 to 10 of 10
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Jun-2016 | Automated theorem proving | Montserrat Armstrong, Miquel |
| 18-Jan-2019 | Compactness and Löwenheim-Skolem theorems in extensions of first-order logic | Casado Telletxea, Ioar |
| 27-Jun-2018 | Complete theories of boolean algebras | Trullenque Ortiz, Clara |
| 1993 | La forma lògica de les oracions d'acció i la tesi d'Anscombe | Pineda Oliva, David |
| 1996 | Fundamentos de demostración automática de teoremas | Martínez Alonso, Juan Carlos |
| 27-Jun-2018 | Fundamentos de programación lógica | Barriga Martı́n, Héctor |
| 17-Jan-2013 | Sherali-Adams Relaxations and Indistinguishability in Counting Logics | Atserias, Albert; Maneva, Elitza |
| 19-Jan-2020 | Solució de Löb al problema de Henkin | Vidal Agraz, Roger |
| 13-Jun-2022 | Ultraprodiucts and their application to non-standard analysis | Pérez López-Serrano, Miriam |
| 17-Jan-2024 | Verificación de programas | Rodríguez Martínez, Ana |