-
K. R. Gilevich, K. G. Valeev
Numerical construction of integral manifolds of differential equations
Some problems on the qualitative theory of differential equations and theory of the control of motion, Mordovia State University, 1983, pp. 5-9.
-
E. Kusak, K. Prażmowski
The analytical geometry without coordinates
Zeszyty Nauk. Geom. 13 (1983), 45-56.
-
M. Prażmowska
An axiom system for oriented euclidean parallelity
Demonstratio Math. 16 (1983), no. 4, 937-943.
-
K. Prażmowski
Various systems of primitive notions for Euclidean geometry based on the notion of circle
Bull. Polish Acad. Sci. Math. 31 (1983), no. 1-2, 23-29.
-
K. Prażmowski, P. Rudnicki
Mizar MSE primer
Prace IPI PAN vol. 529, Polska Akademia Nauk, Warsaw, Poland, 1983.