Su búsqueda recuperó 4 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)
		Implementing programming languages : an introduction to compilers and interpreters / Aarne Ranta ; with an appendix coauthored by Markus Forsberg por Ranta, Aarne [autor] \| Forsberg, Markus [autor]. Series Texts in computing ; 16Tipo de material: Texto; Forma literaria: No es ficción Editor: London : College Publications, [2012]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Philosophical applications of modal logic / Lloyd Humberstone por Humberstone, Lloyd [autor]. Series Studies in logic ; 61Tipo de material: Texto; Forma literaria: No es ficción Editor: London, UK : College Publications, [2015]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Set theory / [Kenneth Kunen] por Kunen, Kenneth [autor]. Series Studies in Logic : Mathematical logic and Foundations ; Volume 34Edición: Revised editionTipo de material: Texto; Forma literaria: No es ficción Editor: London, UK : College Publications, 2013Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (2). (1 votos) Hacer reserva Agregar al carrito (remover)