Su búsqueda recuperó 2 resultados.

Resultados
		Problems in set theory, mathematical logic, and the theory of algorithms / Igor Lavrov and Larisa Maksimova ; edited by Giovanna Corsi ; translated by Valentin Shehtman por Lavrov, Igor Andreevich [autor] \| Maksimova, Larisa Lvovna [autor] \| Corsi, Giovanna [editor] \| Shehtman, Valentin [traductor]. Series The university series in mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Kluwer Academic/Plenum, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 L36813. Hacer reserva Agregar al carrito (remover)
		Deduction, computation, experiment : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.) por Lupacchini, Rossella [editor] \| Corsi, Giovanna [editor]. Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: Milano : Springer, c2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)