LIBRO INGLESE
Lectures on Mathematical Logic, Volume II
188,10 €
+1880
punti 
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Articolo acquistabile con Carta della Cultura
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Dati e Statistiche
Salvato in 0 liste dei desideri
Salvato in 0 liste dei desideri
Lectures on Mathematical Logic, Volume II
Disponibilità in 2 settimane
188,10 €
188,10 €
Disponibilità in 2 settimane
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
-
Autore:
-
Editore:
-
Collana:Lecturers on Mathematical Logic
-
Anno:2000
-
Rilegatura:Hardback
-
Pagine:330 p.
Testo in English
Dimensioni:
229 x 152 mm
Peso:
780 gr.
EAN:
9789056992675
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
