@article{GAMA_1981_1981_1_a4,
     author = {Palomar Taranc\'on, Juan-Esteban},
     title = {Algunas proposiciones finita y formalmente indemostrables.},
     journal = {Gaceta matem\'atica},
     pages = {39-40},
     publisher = {mathdoc},
     volume = {33},
     number = {3-4},
     year = {1981},
     language = {es},
     url = {http://geodesic.mathdoc.fr/item/GAMA_1981_1981_1_a4/}
}