TY - BOOK AU - Prestel,Alexander AU - Roquette,Peter ED - SpringerLink (Online service) TI - Formally p-adic Fields T2 - Lecture Notes in Mathematics, SN - 9783540387688 AV - QA150-272 U1 - 512 23 PY - 1984/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Mathematics KW - Algebra KW - Logic, Symbolic and mathematical KW - Mathematical Logic and Foundations N1 - 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 UR - http://dx.doi.org/10.1007/BFb0071461 ER -