Refinar su búsqueda
Disponibilidad
-
Autores
- Dershowitz, Nachum (1)
- Lindenstrauss, Naomi (1)
- Rusinowitch, Michaël (1)
- Rémy, Jean-Luc (1)
-
Tipos de ítem
- Libro (2)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- LNCS (1)
-
Temas
- Deducción y prueba d... (1)
- Deduction and theore... (1)
- Formal languajes (1)
- Grammars and other r... (1)
- Gramáticas y otros s... (1)
- Lenguajes de program... (1)
- Lenguajes formales (1)
- Lógica matemática (1)
- Lógica matemática-Co... (1)
- Mathematical logic (1)
- Mathematical logic-C... (1)
- Programming language... (1)
- Semantics. Sintax (1)
- Semántica. Sintaxis (1)
- Teoremas-deducción y... (1)
- Theorem-Deduction an... (1)
- Mostrar más
- Mostrar menos