The statistical estimation of provability in the first order predicate calculus

S.C. Westrhenen, van

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

151 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Peremans, W., Promotor
Award date	27 May 1969
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
DOIs	https://doi.org/10.6100/IR143739
Publication status	Published - 1969

Access to Document

@phdthesis{9518aaf6d6594589806526f2641aa423,

title = "The statistical estimation of provability in the first order predicate calculus",

author = "\{Westrhenen, van\}, S.C.",

year = "1969",

doi = "10.6100/IR143739",

language = "English",

publisher = "Technische Hogeschool Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}