Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : algebra Subject : business.industry Subject : mathematics Subject : symbols

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.

Authors : Rodenburg, P. H.¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 23/24, p357-362. 6p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

A Theory of Operations on the Universe II. Infinitary Operations.

Authors : Garcia, Narciso¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 31/32, p481-488. 8p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Chains in Boolean Semigroup Algebras.

Authors : Heindorf, Lutz¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 5/6, p93-96. 4p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Remarks on The Cartesian Closure.

Authors : Hella, Lauri¹; Krynicki, Michal²

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 33-35, p539-545. 7p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Principal Congruences of Demi-Pseudocomplemented Ockham Algebras and Applications.

Authors : Sankappanavar, Hanamantagouda P.¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 31/32, p489-494. 6p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Nonstandard Methods and Finiteness Conditions in Algebra.

Authors : Insall, Matt¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 33-35, p525-532. 8p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Degrees of Souslin Trees.

Authors : Bilaniuk, Stefan¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 33-35, p513-524. 12p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Topological Framework for Non-Priority.

Authors : Kontostathis, Kyriakos¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 31/32, p495-500. 6p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Abstract Data Types and Type Theory: Theories as Types.

Authors : de Queiroz, Ruy J. G. B.¹; Maibaum, Thomas S. E.¹

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 9-12, p149-166. 18p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Pairings on Lambda Algebras.

Authors : Hatcher, W. S.¹; Tonga, Marcel²

Source: Mathematical Logic Quarterly. 1991, Vol. 37 Issue 19-22, p343-352. 10p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.

A Theory of Operations on the Universe II. Infinitary Operations.

Chains in Boolean Semigroup Algebras.

Remarks on The Cartesian Closure.

Principal Congruences of Demi-Pseudocomplemented Ockham Algebras and Applications.

Nonstandard Methods and Finiteness Conditions in Algebra.

Degrees of Souslin Trees.

Topological Framework for Non-Priority.

Abstract Data Types and Type Theory: Theories as Types.

Pairings on Lambda Algebras.

اتصل بنا

اتبع