|
![]() |
|||
|
||||
OverviewSenza 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. Full Product DetailsAuthor: Daniele MundiciPublisher: Springer Verlag Imprint: Springer Verlag Edition: 2011 ed. Volume: 50 Dimensions: Width: 15.50cm , Height: 1.00cm , Length: 23.10cm Weight: 0.232kg ISBN: 9788847018839ISBN 10: 8847018838 Pages: 126 Publication Date: 10 February 2011 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Language: Italian Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |