Pulcini, Gabriele Rewriting systems for the surface classification theorem. (English) Zbl 1204.03055 Math. Struct. Comput. Sci. 20, No. 4, 577-588 (2010). MSC: 03F07 03F52 57N05 68Q42 PDFBibTeX XMLCite \textit{G. Pulcini}, Math. Struct. Comput. Sci. 20, No. 4, 577--588 (2010; Zbl 1204.03055) Full Text: DOI
Bender, Peter A logical characterization of the Euclidean plane, sphere and cylinder. (English) Zbl 0888.51016 Int. J. Math. Educ. Sci. Technol. 27, No. 6, 849-854 (1996). Reviewer: T.Thrivikraman (Cochin) MSC: 51M05 03C65 52A15 51N05 PDFBibTeX XMLCite \textit{P. Bender}, Int. J. Math. Educ. Sci. Technol. 27, No. 6, 849--854 (1996; Zbl 0888.51016) Full Text: DOI