Works matching IS 09425616 AND DT 1970 AND VI 16 AND IP 2
Results: 8
Some Properties of Recursively Inseparable Sets.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 187, doi. 10.1002/malq.19700160208
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. fmi, doi. 10.1002/malq.19700160201
- Publication type:
- Article
On the Semantics of the Constructible Levels.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 139, doi. 10.1002/malq.19700160204
- By:
- Publication type:
- Article
Recursive Word-Functions over Infinite Alphabets.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 123, doi. 10.1002/malq.19700160203
- By:
- Publication type:
- Article
Models for Multiply Modal Systems.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 175, doi. 10.1002/malq.19700160207
- By:
- Publication type:
- Article
Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 113, doi. 10.1002/malq.19700160202
- By:
- Publication type:
- Article
The Hyperprojective Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 149, doi. 10.1002/malq.19700160205
- By:
- Publication type:
- Article
Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 2, p. 165, doi. 10.1002/malq.19700160206
- By:
- Publication type:
- Article