János Bolyai: Appendix the theory of space (North-Holland mathematics studies, 1987)