Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. fmi, doi. 10.1002/malq.19800262801
- Publication type:
- Article
Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 28-30
Results: 7
1
2
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 459, doi. 10.1002/malq.19800262805
- By:
- Publication type:
- Article
3
On the Gentzen Type Formalizations.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 439, doi. 10.1002/malq.19800262803
- By:
- Publication type:
- Article
4
Some Observations Concerning Medial Fields.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 471, doi. 10.1002/malq.19800262806
- By:
- Publication type:
- Article
5
Reduzierbarkeit von Berechenbaren Numerierungen von P<sub>1</sub>.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 445, doi. 10.1002/malq.19800262804
- By:
- Publication type:
- Article
6
A Class of Polynomial Equations in a Single Ordinal Variable.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 477, doi. 10.1002/malq.19800262807
- By:
- Publication type:
- Article
7
On the Axiomatizability of the Notion of an Automorphism of a Finite Order.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 433, doi. 10.1002/malq.19800262802
- By:
- Publication type:
- Article