A basic theory with predicates
Lenzi, G. ; Tortorelli, V. M.
Bull. Belg. Math. Soc. Simon Stevin, Tome 9 (2002) no. 4, p. 73-100 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 2002-05-14
Classification:  Non-reductionism,  open-endedness,  self-description,  03B30,  00A30,  03A05 
@article{1102715142,
     author = {Lenzi, G. and Tortorelli, V. M.},
     title = {A basic theory with predicates},
     journal = {Bull. Belg. Math. Soc. Simon Stevin},
     volume = {9},
     number = {4},
     year = {2002},
     pages = { 73-100},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102715142}
}

Lenzi, G.; Tortorelli, V. M. A basic theory with predicates. Bull. Belg. Math. Soc. Simon Stevin, Tome 9 (2002) no. 4, pp.  73-100. http://gdmltest.u-ga.fr/item/1102715142/