Logica: Metodo Breve (2011) (UNITEXT #50)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2011
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9788847018846
- Related ISBNs:
- 9788847018839
- Publisher:
- Springer Milan
- Date of Addition:
- 08/11/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- Italian
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Language Arts, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Daniele Mundici
- in Nonfiction
- in Language Arts
- in Mathematics and Statistics
- in Philosophy