Predstavenie autora Oiva Ketonen:

Doterajšie vydané knihy od Oiva Ketonen:

Skúmanie predikátového kalkulu - Investigations into the Predicate Calculus

Oiva Ketonen (1913--2000) bol najbližším žiakom tvorcu modernej teórie...