The statistical estimation of provability in the first order predicate calculus / S. Christiaan van Westrhenen
Proefschrift Eindhoven
| rdfs:label | "The statistical estimation of provability in the first order predicate calculus / S. Christiaan van Westrhenen" |
| schema:name | "The statistical estimation of provability in the first order predicate calculus" |
| schema:author | Westrhenen, Sophius Christiaan van (1928-2005) |
| schema:description | "Proefschrift Eindhoven" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1969" |
|
schema:in |
"en" |
|
schema:number |
114 |
| schema:publication |
<https:/ |