Su búsqueda recuperó 2 resultados.

Resultados
		A lambda calculus satellite / Henk Barendregt, Giulio Manzonetto por Barendregt, H. P. (Hendrik Pieter) [autor] \| Manzonetto, Giulio [autor]. Series Studies in logic ; mathematical logic and foundations ; volume 94Tipo de material: Texto; Forma literaria: No es ficción Editor: [London] : College publications, [2022]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 B363. Hacer reserva Agregar al carrito (remover)
		The lambda calculus : Its syntax and semantics / H. p. barendregt por Barendregt, H. P. (Hendrik Pieter) [autor]. Series Studies in logic and the foundations fo mathematics ; v.103Edición: # rev. ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, holanda : North-holland, 1984Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"