Bounded arithmetic, propositional logic, and complexity theory
Konštruktívna geometria. /
Konštruktívna geometria 1. /
Konštruktívna geometria 2. /
Konštruktívna geometria. : Úlohy na cvičenia. /
Základy deskriptivní a konstruktivní geometrie. Díl 5., Křivky a plochy technické praxe. /
New foundations in mathematics : the geometric concept of number /
Mathematics. I /
Informatics and mathematics. : Proceedings of the scientific conference with international participation, Prešov, September 4-5,1997. /
Advanced mathematics : Textbook /
Mathematics for physics /
Viva Mexico
Mathematics : introduction to calculus I,
Mathematics 3 /
The power of mathematics. /
Applications of mathematics /
Mathematics for information and communication technologies Proceedings of the 7th Winter School of Mathematics for ICT Students: Šachtičky, 6.-11. 2. 2012 /
Mathematics in Science and Technologies proceedings of the MiST conference 2013 /
CRC encyclopedia of mathematics. [Volume 1, A-F] /
Constructive Mathematics : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, august 11-15, 1980 /