pág. 527
pág. 533
Compartness under constructive scrutiny
P. Schuster, H. Ishihara
pág. 540
On the complexity of finding paths in a two-dimensional domain I: Shortest paths: Shortest paths
A. W. Chou
pág. 551
Functional interpretation and the existence property
K. F. Jorgensen
pág. 573
pág. 577
Uniform versions of some axioms of second order arithmetic
N. Sakamoto, T. Yamazaki
pág. 587
Unsupported Boolean algebras and forcing
M. S. Kurilic
pág. 594
G. Sagi, J. Gerlits
pág. 603
On Schnorr and computable randomness, martingales, and machines
R. Downey, E. Griffiths
pág. 613
There is no low maximal d.c.e. degree - Corrigendum
M. Arslanov, S. B. Cooper
pág. 628
Corrigendum to "Weak Arithmetics and Kripke Models"
Morteza Moniri
pág. 637
© 2008-2024 Fundación Dialnet · Todos los derechos reservados