Su búsqueda recuperó 3 resultados.

Resultados
		Proof Theory for Fuzzy Logics [recurso electrónico] / by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise. por Metcalfe, George \| Barwise, Jon \| Gabbay, Dov M \| Gabbay, Dov \| Olivetti, Nicola \| SpringerLink (Servicio en linea). Series Applied Logic Series ; 36Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer Netherlands, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		A Modern Perspective on Type Theory [recurso electrónico] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. por Kamareddine, Fairouz \| Laan, Twan \| Nederpelt, Rob \| SpringerLink (Servicio en linea). Series Applied Logic Series ; 29Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Dordrecht : Springer Science + Business Media, Inc., 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. 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)