CART go to cart ▶
Books
Total
FREE SHIPPING COSTS
FOR ORDERS OVER
35 € TO ITALY
70 € TO EUROPElimits and conditions
▶
#347407 Scienze

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità.

Author:
Publisher: Edizioni Carocci.
Date of publ.:
Details: cm.15,5x22,5, pp.202, brossura. Collana Università, 487.

Abstract: 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.

EAN: 9788843029006
ConditionsUsato, molto buono
EUR 15.00
Last copy
Add to Cart

See also...

#267135 Economia
Edizioni del Sole 24 Ore 1987, cm.15x21,5, pp.190, brossura.
Usato, come nuovo
EUR 10.00
Last copy

Recently viewed...

#347486 Sociologia
Milano, Rizzoli 1977, cm.15x21, pp.166, legatura editoriale con sovraccoperta figurata a colori.
Usato, molto buono
Note: Aloni alla sovraccoperta.
EUR 8.00
Last copy
#348048 Storia Antica
Paris, Felix Alcan 1927, cm.14,5x22,5, pp.520 2 carte geografiche ripiegate in appendice. brossura. Coll. Peuples et Civilisations Histoire Générale.
Usato, buono
EUR 27.00
Last copy
#348340 Arti Applicate Vetro e Pietre Dure
Conception general en texte francais. Paris, Editions Charles Massin 1992, cm.24,5x33, pp.192, illustrato a colori. legatura editoriale cartonata con sopraccoperta figurata a colori.

EAN: 9782707201911
Usato, molto buono
EUR 34.00
Last copy
#348594 Linguistica Dizionari
Per un'analisi linguistica dell'argomentare. A cura di Marina Bondi. Bologna, Clueb 1998, cm.15x21,5, pp. XIV,274, brossura. Collana Heuresis. Strumenti di Insegnamento Linguistico.

EAN: 9788849110968
Usato, molto buono
EUR 30.00
Last copy