Works matching IS 09425616 AND DT 1969 AND VI 15 AND IP 19
Results: 3
Decision problems associated with complete deterministic normal systems.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 19, p. 299, doi. 10.1002/malq.19690151903
- By:
- Publication type:
- Article
A probabilistic machine for the estimation of provability in the first order predicate calculus.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 19, p. 291, doi. 10.1002/malq.19690151902
- By:
- Publication type:
- Article
Extensions of non-standard models of number theory.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 19, p. 289, doi. 10.1002/malq.19690151901
- By:
- Publication type:
- Article