A probabilistic machine for the estimation of provability in the first order predicate calculus

S.C. Westrhenen, van

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

No abstract.
Original languageEnglish
Pages (from-to)291-297
JournalZeitschrift für Mathematische Logik und Grundlagen der Mathematik
Volume15
Issue number19
DOIs
Publication statusPublished - 1969

Cite this