Su búsqueda retornó 2 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
No hay imagen de cubierta disponible
Enumerability, decidability, computability : an introduction to the theory of resursive functions / Hans Hermes

por Hermes, Hans.

Series Die Grundlehren der Mathematischen Wissenschaften ; , v.127Edición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Editor: Berlin : Springer-Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 H553, ...

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Term logic with choice operator

por Hermes, Hans.

Series Lecture notes in mathematics ; ; 6Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H553T.

Hacer reserva Agregar al carrito
Páginas