Su búsqueda recuperó 2 resultados.

Resultados
		Computability : Computable functions, logic, and the foundations of mathematics / Richard l. epstein, Walter a. carnielli por Epstein, Richard L, 1947- [autor] \| Carnielli, Walter Alexandre [autor]. Tipo de material: Texto; Formato: impreso Editor: Pacific grove, california : Wadsworth & Brooks/Cole Advanced Books & Software, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 E67. Hacer reserva Agregar al carrito (remover)
		Analysis and synthesis of logics [recurso electrónico] : how to cut and paste reasoning systems / Walter Carnielli ... [et al.] por Carnielli, Walter Alexandre [colaborador] \| SpringerLink (servicio en línea). Series Applied logic series ; v. 35Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer, 2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)