Combinators, terms and proof theory.

Guardado en:
Detalles Bibliográficos
Autor principal: Stenlund, Sören
Formato: Libro
Lenguaje:Inglés
Publicado: Dordrecht, Holland : Reidel, 1972c.
Colección:Synthese library
Materias:

Ejemplares similares