The statistical estimation of provability in the first order predicate calculus
Author(s)
Bibliographic Information
The statistical estimation of provability in the first order predicate calculus
Technische Hogeschool te Eindhoven, 1969
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Thesis (doctoral)--Technische Hogeschool te Eindhoven, 1969
"Stellingen": leaf inserted
Summary in Dutch
Vita
Includes bibliographies
