• Энгийн харагдац
• MARC харагдац
• ISBD харагдац

Перминов В.Я.

Развитие представлений о надёжности математического доказательства - Орос Московского университета 1986 - 240



герметичность и достоверность доказательства надежность логических норм однозначность доказательства в системе посылок

ISBN: 500

Subjects--Index Terms: математика теория математического доказательства теория исчислении