The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. 323, doi. 10.1002/malq.19820282203
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1982 AND VI 28 AND IP 22-24
Results: 6
1
2
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. 317, doi. 10.1002/malq.19820282202
- By:
- Publication type:
- Article
3
Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. 345, doi. 10.1002/malq.19820282206
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. fmi, doi. 10.1002/malq.19820282201
- Publication type:
- Article
5
Undecidability Of Some Domino Connectability Problems.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. 331, doi. 10.1002/malq.19820282204
- By:
- Publication type:
- Article
6
Sequenzen von Klassen und Individuen.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 22-24, p. 337, doi. 10.1002/malq.19820282205
- By:
- Publication type:
- Article