@article{LMSC_2008_1_1_2_a20, author = {Francesco, Ciraulo}, title = {Soddisfacibilit\`a costruttiva}, journal = {La Matematica nella societ\`a e nella cultura}, pages = {275--278}, publisher = {mathdoc}, volume = {Ser. 1, 1}, number = {2}, year = {2008}, language = {it}, url = {https://geodesic-test.mathdoc.fr/item/LMSC_2008_1_1_2_a20/} }