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.
Da Der Buchfreund, Wien, Austria
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 12 febbraio 2002
Usato -
Quantità: 1 disponibili
Aggiungere al carrello