Combinators, 2-terms and proof theory

Detalles Bibliográficos
Autor principal: Stenlund, Sören
Formato: Libro
Lenguaje:English
Publicado: Dordrencht, Holland : D. Reidel Publishing, 1972.
Colección:Synthese Library
Materias:
Teoría de la demostración.
Lógica simbólica y matemática.

Ejemplares similares

Ejemplares similares