di Daniele MundiciIn questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel...
Prezzo: € 25,95
Editore:
Springer VerlagISBN: 9788847018839
Collana:
UnitextAnno Edizione: 2011