Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Gilboa, Itzhak (1)
- Griffor, Edward R. (1)
- Hindley, James Roger (1)
- Hoek, Wiebe van der (1)
- Huth, Michael (1)
- Lambek, Joachim (1)
- Lawvere, F. William (1)
- Manzano, María (1)
- Ramsay, Allan (1)
- Ryan, Mark Dermot (1)
- Sangiorgi, Davide (2)
- Schanuel, Stephen Ho... (1)
- Schwichtenberg, Helm... (1)
- Scott, P. J. (1)
- Simmons, Harold (1)
- Stoltenberg-Hansen, ... (1)
- Troelstra, Anne Sjer... (1)
- Venema, Yde (1)
- Wolfram, D. A. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (21)
-
Ubicaciones
- Sección Computación (21)
-
Series
-
Temas
- Formal languages (1)
- Artificial intellige... (1)
- Categories (1)
- Computing methodolog... (1)
- Formal languages (10)
- Formal lenguages (1)
- Lenguajes formales (9)
- Logics and meanings ... (2)
- Lógica matemática (11)
- Lógica matemática-Co... (5)
- Lógica y significado... (2)
- Mathematical logic (14)
- Mathematical logic-C... (5)
- Modes of computation (1)
- Program constructs-t... (1)
- Programming language... (1)
- Mostrar más
- Mostrar menos