Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 1-6
Results: 11
Theories With the Existential Substructure Property.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 89, doi. 10.1002/malq.19800260110
- By:
- Publication type:
- Article
On Intermediate Consequence Relations.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 33, doi. 10.1002/malq.19800260103
- By:
- Publication type:
- Article
First Order Logics for Metric Structures.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 77, doi. 10.1002/malq.19800260109
- By:
- Publication type:
- Article
Interpretations With Parameters.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 35, doi. 10.1002/malq.19800260104
- By:
- Publication type:
- Article
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 1, doi. 10.1002/malq.19800260102
- By:
- Publication type:
- Article
Modelltheoretische Eigenschaften Endlichvalenter Graphen.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 51, doi. 10.1002/malq.19800260106
- By:
- Publication type:
- Article
Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 41, doi. 10.1002/malq.19800260105
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. fmi, doi. 10.1002/malq.19800260101
- Publication type:
- Article
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 59, doi. 10.1002/malq.19800260107
- By:
- Publication type:
- Article
Fine Degrees of Word Problems of Cancellation Semigroups.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 93, doi. 10.1002/malq.19800260111
- By:
- Publication type:
- Article
Stetigkeitseigenschaften Berechenbarer Reeller Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 1-6, p. 69, doi. 10.1002/malq.19800260108
- By:
- Publication type:
- Article