Prezentacja autora Oiva Ketonen:

Dotychczas wydane książki Oiva Ketonen:

Badanie rachunku predykatów - Investigations into the Predicate Calculus

Oiva Ketonen (1913-2000) był najbliższym uczniem twórcy nowoczesnej teorii dowodu...