Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
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
25,18 €
-5% 26,50 €
25,18 € 26,50 € -5%
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
25,18 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
26,50 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Multiservices
26,50 € + 7,50 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Nani
26,50 € + 6,50 € Spedizione
disponibile in 15 giorni lavorativi disponibile in 15 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
25,18 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
26,50 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Multiservices
26,50 € + 7,50 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Libreria Nani
26,50 € + 6,50 € Spedizione
disponibile in 15 giorni lavorativi disponibile in 15 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
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

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