The lazy logic of partial terms
Gumb, Raymond D.
J. Symbolic Logic, Tome 67 (2002) no. 1, p. 1065-1077 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 2002-09-14
Classification:  03B60,  03B70,  68N15,  68Q60 
@article{1190150149,
     author = {Gumb, Raymond D.},
     title = {The lazy logic of partial terms},
     journal = {J. Symbolic Logic},
     volume = {67},
     number = {1},
     year = {2002},
     pages = { 1065-1077},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1190150149}
}

Gumb, Raymond D. The lazy logic of partial terms. J. Symbolic Logic, Tome 67 (2002) no. 1, pp.  1065-1077. http://gdmltest.u-ga.fr/item/1190150149/