University of Calgary

Variants of Robinson's essentially undecidable theory R

Authors

James P. Jones
Shepherdson, John C.
Powered by UNITIS. More features.