Combinatory logic: pure, applied and typed

Detalles Bibliográficos
Autor principal: Bimbó, Katalin
Lenguaje:eng
Publicado: CRC Press 2012
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1636681

Internet

http://cds.cern.ch/record/1636681

Ejemplares similares