تخطي إلى المحتوى
VuFind
  • شاركنا بملاحظاتك!
  • سلة الكتب: 0 مادة (ممتلئ)
  • تسجيل الدخول
    • العربية
    • الإنجليزية

اكتشف مناهل المعرفة!

استكشف مجموعتنا الشاملة من الكتب والمقالات والوسائط الرقمية وغيرها

بحث متقدم
  • الكل
  • فهرس المكتبة
  • المستودع الرقمي
  • القنوات
  • Non-classical logics, model theory, and computability :
البحث عن المزيد من القنوات:

مواد مشابهة: Non-classical logics, model theory, and computability :

Modelling and optimization of complex system : proceedings of the IFIPTC 7 Working Conference, Novosibirsk, USSR, 3 July, 1978 /

Logic /

Philosophy of logic /

Global modelling : proceedings of the IFIP-WG 7/1 Working Conference, Dubrovnik, Yugoslavia, Sept. 1-5, 1980 /

Behavioural travel modelling /

Hegel's science of logic /

Symbolic logic /

Model building in mathematical programming /

A concrete approach to mathematical modelling /

Discrete structures, logic, and computability /

An introduction to modal logic /

Logic Design Lab \

Introduction to logic design /

The mathematical analysis of logic; being an essay towards a calculus of deductive reasoning.

Mathematical modeling and simulation : introduction for scientists and engineers /

Mathematical models for social psychology /

Foundations of fuzzy logic and soft computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007 : proceedings /

Pulse and logic circuits /

Russell's Logical atomism /

Fundamentals of logic design /

موضوع: Computable functions

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Discrete structures, logic, and computability /

Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /

موضوع: Model theory

  • موضوع: Nonclassical mathematical logic
  • موضوع: Congresses

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Boolean-valued models and independence proofs in set theory /

المؤلف: Arruda, Ayda I.

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

المؤلف: Chuaqui, R

  • المؤلف: Costa, Newton C. A. d
  • المؤلف: Latin-American Symposium on Mathematical Logic, State University of Campinas

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

اكتشف المعرفة مع بوابة الاكتشاف الرقمي لجامعة الإمام محمد بن سعود الإسلامية

اطلع على آلاف الموارد الأكاديمية، والمواد البحثية، والمنشورات العلمية

ابدأ الاستكشاف الآن
Imam University Team
Imam University Logo

جامعة الإمام محمد بن سعود الإسلامية

الرياض، المملكة العربية السعودية
+966 11 259 5000
info@imamu.edu.sa

الموارد

  • استعراض الفهرس
  • استعرض أبجدياً
  • اكتشف القنوات
  • الحجز الأكاديمي
  • مواد جديدة
  • موارد تعليمية
  • ImamU API

البحث والمساعدة

  • بحث بسيط
  • بحث متقدم
  • سجل البحث
  • شاركنا بملاحظاتك!
  • إرشادات حول معاملات البحث
  • إسأل أخصائي مكتبات
  • مساعدة
  • الأسئلة الشائعة
  • اتفاقية مستوى الخدمة
  • اتفاقية المستخدم

تواصل معنا

© 2026 جامعة الإمام محمد بن سعود الإسلامية. جميع الحقوق محفوظة.

VuFind