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: € 59,98
Editore:
Springer VerlagISBN: 9788847023604
Collana:
UnitextAnno Edizione: 2012