The statistical estimation of provability in the first order predicate calculus

S.C. Westrhenen, van

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

80 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Peremans, W., Promotor
Award date27 May 1969
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 1969

Cite this