Теория доказательств - Г. Такеути

Теория доказателств на Г. Такеути е класическо издание за любители на математическата логика и формалните системи. Това българско издание от 1978 г. в отлично запазено състояние е ценен ресурс за студенти, изследователи и колекционери, които търсят дълбок анализ на теорията за доказателствата.

• Автор: Г. Такеути
• Заглавие: Теория доказателств
• Издател: Мир
• Език: Български
• Година: 1978
• Страници: 412
• Състояние: Много добро
• Категория: Наука / Логика
• Продавач: Антикварен магазин - Катя Маркет

Този том предоставя систематично въведение в теорията на доказателствата, обяснявайки основни концепции и методи, които се използват за формално анализиране на доказателствата и логическите системи. Читателят ще срещне ясни обяснения на фундаментални идеи и дълбоки размишления върху границите и възможностите на доказателствата в математика и компютърни науки.