Su búsqueda recuperó 2 resultados.

Resultados
		Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer por Schwichtenberg, Helmut, 1955- [autor] \| Wainer, S. S [autor]. Series Perspectives in logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, Association for Symbolic Logic, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 S354. Hacer reserva Agregar al carrito (remover)
		Arithmetic and logic in computer systems [recurso electrónico] / Mi Lu. por Lu, Mi \| John Wiley & Sons (Firma comercial). Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Hoboken, New Jersey : Wiley-Interscience, c2004Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)