Geodesic

Theoretical application of methods of mathematical logic. Part III

Equality of maps and coherence theorem for biclosed categories
p. 3-9
On the complexity of the ``wild'' matrix problems and of the isomorphism of algebras and of graphs
p. 10-17
Complexity measures of the words based on the string-matching and edit distance
p. 18-23
Two tautologihood proof systems based on the split method
p. 24-44
Simplification of Gentzen's reductions in the classical arithmetic
p. 45-52
The complexity of additive computations of the sets of integer linear forms
p. 53-61
Detection of periodicities and string-matching in real time
p. 62-173
The category of finite sets and Cartesian closed categories
p. 174-194