Geodesic

Studies in constructive mathematics and mathematical logic. Part X

Diophantine representations of linear recurrent sequences.~II
p. 5-29
Separating sings in the propositional satisfiability problem
p. 30-71
Number representations of satisfiability
p. 72-96
Probabilistic verification of proofs in calculuses
p. 97-116
Refinement of bounds of the heights of terms in the most general unifer
p. 117-134
Gradable logical values for knowlege representation
p. 135-149