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.
Verkäufer Der Buchfreund, Wien, Österreich
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 12. Februar 2002
Gebraucht -
Anzahl: 1 verfügbar
In den Warenkorb legen