E-Book, Italienisch, 190 Seiten, eBook
Reihe: La Matematica per il 3+2
Abrusci / Tortora de Falco Logica
Erscheinungsjahr 2014
ISBN: 978-88-470-5538-4
Verlag: Springer Italia
Format: PDF
Kopierschutz: 1 - PDF Watermark
Volume 1 - Dimostrazioni e modelli al primo ordine
E-Book, Italienisch, 190 Seiten, eBook
Reihe: La Matematica per il 3+2
ISBN: 978-88-470-5538-4
Verlag: Springer Italia
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.