Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
Decidable singular theories of two successor functions with an extra predicate
Decidable singular theories of two successor functions with an extra predicate