Dynamic Theories of Real and Complex Numbers

Michal Grabowski, Antoni Kreczmar. Dynamic Theories of Real and Complex Numbers. In Józef Winkowski, editor, Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Volume 64 of Lecture Notes in Computer Science, pages 239-249, Springer, 1978.

Abstract

Abstract is missing.