Logica: Metodo Breve
- Format
- E-bog, PDF
- Indgår i serie
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram
Normalpris
kr. 189,95
Medlemspris
kr. 159,95
Beskrivelse
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.
Detaljer
- Udgivelsesdato01-05-2011
- ISBN139788847018846
- Forlag Springer Milan
- FormatPDF
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Reference, information og tværfaglige emner
- Tværfaglige studier
- Semiotik / semiologi
- Logica: Metodo Breve
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Matematikkens fundament
- Matematisk logik
- Logica: Metodo Breve