Logica: Metodo Breve

Main
Mathematics - Logic
Logica: Metodo Breve

Logica: Metodo Breve

Name: Logica: Metodo Breve
ISBN: 9788847018846

Daniele Mundici (auth.)

0 / 0

0 comments

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

الفئات:

Mathematics - Logic

عام:

2011

الإصدار:

1st Edition.

الناشر:

Springer Milan

اللغة:

italian

الصفحات:

143