Geodesic

Computations with oracles
p. 4-24
Characterization of axiomatizable classes with strong epimorphisms
p. 24-39
Logical properties of partial continuous functions
p. 39-72
Interpolation in modal logics of an infinite slice that contain the logic K4
p. 72-91
On theories of classes of groups of recursive permutations
p. 91-104
Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
p. 104-120
Admissibility of rules of inference in the modal system G
p. 120-138
Equivalence of the polynomial constructivity of the Markov principle to the equality P=NP
p. 138-165
Fine hierarchies of arithmetic sets, and definable index sets
p. 165-185