Title: Decision algorithms for some fragments of analysis and related areas
First published: 1986