Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Counting proofs in propositional logic.

  • Source: Archive for Mathematical Logic. Apr2009, Vol. 48 Issue 2, p185-199. 15p.

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

×
Academic Journal

Proof assistants: History, ideas and future.

  • Source: Sādhanā: Academy Proceedings in Engineering Sciences. Feb2009, Vol. 34 Issue 1, p3-25. 23p. 1 Color Photograph, 1 Diagram, 2 Charts.

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

×
Academic Journal

Generalized Fuzzy Ideals of BCI-Algebras.

  • Source: Bulletin of the Malaysian Mathematical Sciences Society. 2009, Vol. 32 Issue 2, p119-130. 12p. 6 Charts.

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

×
  • 1-10 ل  51 نتائج ل ""Logic""