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

S.C. Westrhenen, van

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

No abstract.

Original language	English
Pages (from-to)	291-297
Journal	Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
Volume	15
Issue number	19
DOIs	https://doi.org/10.1002/malq.19690151902
Publication status	Published - 1969

@article{12610c4d25724389a2b1313742de7a7f,

title = "A probabilistic machine for the estimation of provability in the first order predicate calculus",

abstract = "No abstract.",

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

year = "1969",

doi = "10.1002/malq.19690151902",

language = "English",

volume = "15",

pages = "291--297",

journal = "Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik",

issn = "0044-3050",

number = "19",

}

TY - JOUR

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

AU - Westrhenen, van, S.C.

PY - 1969

Y1 - 1969

N2 - No abstract.

AB - No abstract.

U2 - 10.1002/malq.19690151902

DO - 10.1002/malq.19690151902

M3 - Article

SN - 0044-3050

VL - 15

SP - 291

EP - 297

JO - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

JF - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

IS - 19

ER -