Works matching IS 09425616 AND DT 1989 AND VI 35 AND IP 2
Results: 9
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 155, doi. 10.1002/malq.19890350205
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. fmi, doi. 10.1002/malq.19890350201
- Publication type:
- Article
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃<sup>∞</sup> (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 137, doi. 10.1002/malq.19890350204
- By:
- Publication type:
- Article
Lattice Theoretical Equivalences of the Ultrafilter Principle.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 131, doi. 10.1002/malq.19890350203
- By:
- Publication type:
- Article
Notes on Formal Theories of Truth.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 97, doi. 10.1002/malq.19890350202
- By:
- Publication type:
- Article
Preservation and Interpolation Through Binary Relations Between Theories.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 169, doi. 10.1002/malq.19890350206
- By:
- Publication type:
- Article
Orderings in Exponential Fields of Term Defined Functions.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 187, doi. 10.1002/malq.19890350209
- By:
- Publication type:
- Article
Another Characterization of the Natural Numbers.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 185, doi. 10.1002/malq.19890350208
- By:
- Publication type:
- Article
Construction of a Coideal of a Ring Compatible with a Principal Ideal.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 183, doi. 10.1002/malq.19890350207
- By:
- Publication type:
- Article