The clausal theory of types / D. A. Wolfram.
Series Cambridge tracts in theoretical computer science ; 21Detalles de publicación: Cambridge, UK : Cambridge University, 1993.Descripción: viii, 124 p. ; 26 cmISBN:- 0521395380
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4.1 W861 | Disponible | 14171 |
Total de reservas: 0