Some Non-Recursive Classes of Thue Systems With Solvable Word Problem.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 121, doi. 10.1002/malq.19740200803
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1974 AND VI 20 AND IP 8-12
Results: 9
1
2
Minimal Degrees in Generalized Recursion Theory.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 133, doi. 10.1002/malq.19740200804
- By:
- Publication type:
- Article
3
Die Struktur des Halbverbandes der Effektiven Numerierungen.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 183, doi. 10.1002/malq.19740200808
- By:
- Publication type:
- Article
4
A Proof of the Compactness Theorem.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 179, doi. 10.1002/malq.19740200807
- By:
- Publication type:
- Article
5
On the Non-Existence of Finite Characteristic Models for Some Classes of Implicational Calculi.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 113, doi. 10.1002/malq.19740200802
- By:
- Publication type:
- Article
6
A Topology for the Space of Countable Models of a First Order Theory.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 173, doi. 10.1002/malq.19740200806
- By:
- Publication type:
- Article
7
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. fmi, doi. 10.1002/malq.19740200801
- Publication type:
- Article
8
Some Results on Partitions and Cartesian Products in the Absence of the Axiom of Choice.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 149, doi. 10.1002/malq.19740200805
- By:
- Publication type:
- Article
9
Unentscheidbarkeitsgrade Rekursiver Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1974, v. 20, n. 8-12, p. 189, doi. 10.1002/malq.19740200809
- By:
- Publication type:
- Article