A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 173, doi. 10.1002/malq.19940400204
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1994 AND VI 40 AND IP 2
Results: 12
1
2
Bounding and Dominating Number of Families of Functions on ω.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 207, doi. 10.1002/malq.19940400208
- By:
- Publication type:
- Article
3
Navigation Without Perception of Coordinates and Distances.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 237, doi. 10.1002/malq.19940400210
- By:
- Publication type:
- Article
4
Representation Theorems for Quantales.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 182, doi. 10.1002/malq.19940400205
- By:
- Publication type:
- Article
5
Effective Search Problems.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 224, doi. 10.1002/malq.19940400209
- By:
- Publication type:
- Article
6
A Note on Relative Efficiency of Axiom Systems.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 261, doi. 10.1002/malq.19940400211
- By:
- Publication type:
- Article
7
Cut-Elimination Theorem for the Logic of Constant Domains.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 153, doi. 10.1002/malq.19940400203
- By:
- Publication type:
- Article
8
Recursiveness of ω-Operations.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 204, doi. 10.1002/malq.19940400207
- By:
- Publication type:
- Article
9
K-generic Projective Planes have Morley Rank Two or Infinity.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 143, doi. 10.1002/malq.19940400202
- By:
- Publication type:
- Article
10
The Elementary Classes of Direct and Boolean Products.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 191, doi. 10.1002/malq.19940400206
- By:
- Publication type:
- Article
11
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. fmi, doi. 10.1002/malq.19940400201
- Publication type:
- Article
12
A Uniform Approach to Fundamental Sequences and Hierarchies.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 2, p. 273, doi. 10.1002/malq.19940400212
- By:
- Publication type:
- Article