Denne bestselgende læreboken, som er tilrettelagt for avanserte kurs, ble omfattende revidert i 1990 for å ta høyde for utviklingen innen modellteoretiske metoder. Boken dekker et bredt spekter av emner, inkludert modeller bygget opp fra konstanter, ultraprodukter, samt metoder for å forstå både mettede og spesielle modeller. Den reviderte utgaven fra 1990 gir leserne en grundig innsikt og oppdaterte perspektiver innen området.
