The Mathematics of Logic

Denna lärobok för grundutbildningen täcker det viktigaste materialet för en typisk första kurs i logik, i synnerhet och presenterar en fullständig matematisk redogörelse för det viktigaste resultatet i logik, fullständighetssatsen för första ordningens logik. Genom att titta på en serie intressanta system som ökar i komplexitet och sedan bevisa och diskutera fullständighetssatsen för vart och ett av dem, ser författaren till att antalet nya begrepp som ska absorberas i varje steg är hanterbart samtidigt som det ger livliga matematiska tillämpningar genomgående. Okänd terminologi hålls till ett minimum, ingen bakgrund i formell mängdteori krävs, och boken innehåller bevis för alla nödvändiga mängdteoretiska resultat. Läsaren tas med på en resa som börjar med Chicks Lemma och fortskrider via ordningsrelationer, Zorns Lemma, booleska algebror och satslogik till första ordningens logiks fullständighet och kompakthet. Som tillämpningar av arbetet med första ordningens logik ger två avslutande kapitel introduktioner till modellteori och icke-standardanalys. Språk: Engelska