and motivation.- p-valuations.- p-adically closed fields.- The general embedding theorem.- Model theory of p-adically closed fields.- Formally p-adic fields.- Function fields over p-adically closed fields.