TY - BOOK AU - Lorenzen,Paul TI - Metamatematica AV - QA107 L66 PY - 1971/// CY - Madrid PB - Tecnos KW - Matemáticas ER -