The statistical estimation of provability in the first order predicate calculus.
By: [By] S. Christiaan van Westrhenen.
Publisher: Technische Hogeschool (Inslindelaan 2)
Published: 1969
Place of publication: [Eindhoven
Language: eng
Number of pages: 114
Subjects: Predicate calculus.; Statistical decision.
Notes: Includes bibliographies.
Proefschrift--Eindhoven.
"Stellingen": leaf inserted.
Summary in Dutch.
Vita.