Oiva Ketonen szerző bemutatása:

Oiva Ketonen szerző eddig megjelent könyvei:

Vizsgálatok a predikátumszámításról - Investigations into the Predicate Calculus

Oiva Ketonen (1913--2000) volt a modern bizonyításelmélet...