@article{urn:eudml:doc:43190,
title = {Algunas proposiciones finita y formalmente indemostrables.},
journal = {Gaceta Matem\'atica},
volume = {33},
year = {1981},
pages = {39-40},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:43190}
}
Palomar Tarancón, Juan-Esteban. Algunas proposiciones finita y formalmente indemostrables.. Gaceta Matemática, Tome 33 (1981) pp. 39-40. http://gdmltest.u-ga.fr/item/urn:eudml:doc:43190/