Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
AUTORES (1-2 de 2)
Paulson, Lawrence C.
1

Cubierta del libro
MAT. IMPRESO
1994
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 828    PRÉSTAMO LARGO  DISPONIBLE
2

Cubierta del libro
Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson
Paulson, Lawrence C
Cambridge ; New York : Cambridge University Press,

MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados