Mathematical Logic - Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas - cover
Mathematical Logic - Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas - cover
Dati e Statistiche
Salvato in 0 liste dei desideri
Mathematical Logic
Disponibile in 5 gg lavorativi
68,74 €
68,74 €
Disponibile in 5 gg lavorativi

Descrizione


This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Dettagli

Testo in English
235 x 155 mm
698 gr.
9783030738389
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 Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.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 productsafety@feltrinelli.it