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.
Librería: Der Buchfreund, Wien, Austria
Calificación del vendedor: 4 de 5 estrellas
Vendedor de AbeBooks desde 12 de febrero de 2002
Usado -
Cantidad disponible: 1 disponibles
Añadir al carrito