@article{MSC_1996_1996_1_a23,
     author = {Drago, Antonino},
     title = {El procedimiento inductivo como una doble negaci\'on l\'ogica de tipo no cl\'asica: evidencia tomada de teor{\'\i}as cient{\'\i}ficas cl\'asicas.},
     journal = {Mathware & soft computing},
     pages = {295-308},
     publisher = {mathdoc},
     volume = {3},
     number = {1-2},
     year = {1996},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a23/}
}