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.
Vendeur Der Buchfreund, Wien, Autriche
Évaluation du vendeur 4 sur 5 étoiles
Vendeur AbeBooks depuis 12 février 2002
Ancien(s) ou d'occasion -
Quantité disponible : 1 disponible(s)
Ajouter au panier