Lógica e aritmética : uma introdução informal aos métodos formais

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Augusto Franco de Oliveira
منشور في: Gradiva 1991
الطبعة:1ª
الموضوعات:
الوصول للمادة أونلاين:Ver na biblioteca
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!