Decision algorithms for some fragments of analysis and related areas
By: by D. Cantone, A. Ferro, E. Omodeo, J.T. Schwartz.
Contributors: Ferro, A.; Omodeo, E.; Schwartz, J. T.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1986
Place of publication: New York
Language: eng
Number of pages: 34