Works matching IS 09425616 AND DT 1988 AND VI 34 AND IP 4
Results: 13
Further Results on Proof Theories For Semilattice Logics.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 301, doi. 10.1002/malq.19880340404
- By:
- Publication type:
- Article
Extendability of Functions on Models of ZF<sub>Fin</sub>.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 309, doi. 10.1002/malq.19880340406
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. fmi, doi. 10.1002/malq.19880340401
- Publication type:
- Article
Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 317, doi. 10.1002/malq.19880340407
- By:
- Publication type:
- Article
Ultradiophantine Categories.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 289, doi. 10.1002/malq.19880340402
- By:
- Publication type:
- Article
Many-Valued Modal Propositional Calculi.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 343, doi. 10.1002/malq.19880340411
- By:
- Publication type:
- Article
Phrase Structure Languages Generated by Categorial Grammars With Product.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 373, doi. 10.1002/malq.19880340413
- By:
- Publication type:
- Article
Precipitousness of a Sum of Ideals on Complete Boolean Algebras.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 323, doi. 10.1002/malq.19880340408
- By:
- Publication type:
- Article
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 337, doi. 10.1002/malq.19880340410
- By:
- Publication type:
- Article
Negative Results on the Reduction of the Recursion Scheme.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 297, doi. 10.1002/malq.19880340403
- By:
- Publication type:
- Article
Non Standard Models of the Theory of Elementary Functions of a Real Variable.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 355, doi. 10.1002/malq.19880340412
- By:
- Publication type:
- Article
On the Impossibility of Transformation of All True Formulas Of Markov's Language L<sub>1</sub> into True Formulas of His Language ℝ.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 305, doi. 10.1002/malq.19880340405
- By:
- Publication type:
- Article
An Aleph Hypothesis, and its Consequences for Beths, Sums of Beths, and Infinite Products of Alephs.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 331, doi. 10.1002/malq.19880340409
- By:
- Publication type:
- Article