Works matching IS 09425616 AND DT 1986 AND VI 32 AND IP 25-30
Results: 15
Idempotents in R.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 407, doi. 10.1002/malq.19860322505
- By:
- Publication type:
- Article
Horn Sentences of Small Size in Identity Theory.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 439, doi. 10.1002/malq.19860322509
- By:
- Publication type:
- Article
Countable Admissible Ordinals and Dilators.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 451, doi. 10.1002/malq.19860322511
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. fmi, doi. 10.1002/malq.19860322501
- Publication type:
- Article
On Definability of Relations by Only One Relation.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 457, doi. 10.1002/malq.19860322512
- By:
- Publication type:
- Article
Pseudocomplemented Okham and Demorgan Algebras.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 385, doi. 10.1002/malq.19860322502
- By:
- Publication type:
- Article
Precipitous Ideals on Singular Cardinals.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 461, doi. 10.1002/malq.19860322513
- By:
- Publication type:
- Article
Numeration Models of λβ-Calculus.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 409, doi. 10.1002/malq.19860322506
- By:
- Publication type:
- Article
Classification of Quantifier Prefixes Over Exponential Diophantine Equations.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 399, doi. 10.1002/malq.19860322504
- By:
- Publication type:
- Article
Plus-1 Results for E-Recursion.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 473, doi. 10.1002/malq.19860322515
- By:
- Publication type:
- Article
Some More Remarks on Expandability of Initial Segments.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 445, doi. 10.1002/malq.19860322510
- By:
- Publication type:
- Article
Note on Quantifier Prefixes Over Diophantine Equations.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 395, doi. 10.1002/malq.19860322503
- By:
- Publication type:
- Article
Relations Intrinsically Recursive in Linear Orders.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 467, doi. 10.1002/malq.19860322514
- By:
- Publication type:
- Article
Semicomplemented Lattices and the Finite Model Property.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 431, doi. 10.1002/malq.19860322508
- By:
- Publication type:
- Article
Lambda-Algebras and C-Monoids.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 415, doi. 10.1002/malq.19860322507
- By:
- Publication type:
- Article