On the interpretation of intuitionistic number theory. - [FIRST FORMAL TREATMENTS OF LOGIC FOR COMPUTABILITY]
"KLEENE, S. C.
Librería: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Calificación del vendedor: 4 de 5 estrellas
Vendedor de AbeBooks desde 2 de noviembre de 2000
Usado - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito