Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino - copertina
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino - copertina
Dati e Statistiche
Wishlist Salvato in 25 liste dei desideri
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Disponibilità immediata
22,52 €
-15% 26,50 €
22,52 € 26,50 € -15%
Disp. immediata
Chiudi

Altre offerte vendute e spedite dai nostri venditori

Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-15% 26,50 € 22,52 €
Vai alla scheda completa
Infinito
Spedizione 3,99 €
29,15 €
Vai alla scheda completa
Emozioni Media Store
Spedizione 6,30 €
25,84 €
Vai alla scheda completa
Libreria Internazionale Romagnosi snc
Spedizione 8,98 €
26,50 €
Vai alla scheda completa
Multiservices
Spedizione 5,50 €
26,50 €
Vai alla scheda completa
Libreria Bortoloso
Spedizione 6,30 €
26,50 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
26,50 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
26,50 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-15% 26,50 € 22,52 €
Vai alla scheda completa
Infinito
Spedizione 3,99 €
29,15 €
Vai alla scheda completa
Emozioni Media Store
Spedizione 6,30 €
25,84 €
Vai alla scheda completa
Libreria Internazionale Romagnosi snc
Spedizione 8,98 €
26,50 €
Vai alla scheda completa
Multiservices
Spedizione 5,50 €
26,50 €
Vai alla scheda completa
Libreria Bortoloso
Spedizione 6,30 €
26,50 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
26,50 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
26,50 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
Chiudi
ibs
Chiudi
Infinito
Chiudi
Emozioni Media Store
Chiudi
Libreria Internazionale Romagnosi snc
Chiudi
Multiservices
Chiudi
Libreria Bortoloso
Chiudi
Libreria Nani
Chiudi
Libreria Nani
Chiudi

Tutti i formati ed edizioni

Chiudi
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità - Dario Palladino - copertina

Descrizione


Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Leggi di più Leggi di meno

Dettagli

2004
26 febbraio 2004
Libro universitario
202 p., Brossura
9788843029006
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da IBS, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.ibs.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafetyibs@feltrinelli.it

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore