Refinar su búsqueda
Disponibilidad
-
Autores
- Brewka, Gerhard (1)
- Forster, Thomas E. (1)
- Hindley, James Roger (1)
- Huth, Michael (1)
- Popkorn, Sally (1)
- Ramsay, Allan (1)
- Ryan, Mark Dermot (1)
- Sangiorgi, Davide (1)
- Schwichtenberg, Helm... (1)
- Simmons, Harold (1)
- Troelstra, Anne Sjer... (1)
- Vickers, Steven (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (10)
-
Ubicaciones
- Sección Computación (10)
-
Series
-
Temas
- Formal languages (1)
- Artificial intellige... (1)
- Axiomatic set theory (1)
- Formal languages (8)
- Formal lenguages (1)
- Inteligencia artific... (1)
- Lenguajes formales (9)
- Logic and meanings o... (1)
- Logics and meanings ... (2)
- Lógica matemática (9)
- Lógica y significado... (2)
- Mathematical logic (9)
- Modes of computation (1)
- Modos de computació... (1)
- Proof theory (1)
- Mostrar más
- Mostrar menos