TY - BOOK AU - Edwards R E TI - Formal background to mathematics: Logic,sets and numbers SN - 0-387-90431-X U1 - 511.3 PY - 1979/// CY - New-York PB - Springer-Verlag KW - Mathematical logic ER -