Two Papers on the Predicate Calculus (Permutability of Inferences in Gentzen's Calculi LK and LJ / Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols).

Kleene, S. C.

Editorial: American Mathematical Society, Providence, 1967
Condición: min. Alterssp., g.e.

Librería: Der Buchfreund, Wien, Austria

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 12 de febrero de 2002

Ver los artículos de este vendedor


Usado -

Precio: EUR 18,00 Convertir moneda
EUR 18,50 gastos de envío desde Austria a España Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito