Veblen Hierarchy
Bancerek, Grzegorz
Semantics of MML Query - Ordering
Bancerek, Grzegorz
Program Algebra over an Algebra
Bancerek, Grzegorz
Towards the Construction of a Model of Mizar Concepts
Bancerek, Grzegorz
Algebraic Approach to Algorithmic Logic
Bancerek, Grzegorz
Analysis of Algorithms: An Example of a Sort Algorithm
Bancerek, Grzegorz
Sorting by Exchanging
Bancerek, Grzegorz