Geodesic

Theoretical application of methods of mathematical logic. Part I

Sommaire

On the expressive power of the operations of bounded summation and bounded multiplication
p. 3-6
The mutation-calculuses
p. 7-30
On metamathematical approach to proving theorems of discrete mathematics
p. 31-50
Finite investigation of infinite derivations
p. 51-66
Finite investigation of infinite derivations
p. 67-122
Finite approach to the problem of optimization of theorem-proving algorithms
p. 123-130
Finite approximation approach to investigation of the complexity of recursive predicates
p. 131-158
On some postulates of general taxonomy
p. 159-175