Refinar su búsqueda
Disponibilidad
-
Autores
- Blackburn, Patrick (1)
- Brewka, Gerhard (1)
- Hindley, James Roger (1)
- Paulson, Lawrence C. (1)
- Ramsay, Allan (1)
- Rijke, Maarten de (1)
- Rutten, Johannes Jos... (1)
- Sangiorgi, Davide (1)
- Schwichtenberg, Helm... (1)
- Shankar, N. (1)
- Simmons, Harold (1)
- Troelstra, Anne Sjer... (1)
- Venema, Yde (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (9)
-
Ubicaciones
-
Series
-
Temas
- Formal languages (1)
- Artificial intellige... (1)
- Computing methodolog... (1)
- Formal languages (8)
- Inteligencia artific... (1)
- Lenguajes formales (6)
- Logics and meanings ... (2)
- Lógica matemática (6)
- Lógica matemática-Co... (1)
- Lógica y significado... (1)
- Mathematical logic (8)
- Mathematical logic-C... (1)
- Modality (1)
- Probability and stat... (1)
- Mostrar más
- Mostrar menos