1 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

2 - Tableau systems for first order number theory and certain higher order theories
Toledo, Sue Ann (1940-....)

Cote : [05 TOL 75]

3 - The computational complexity of logical theories
Ferrante, Jeanne (1949-....)   /   Rackoff, Charles W. (1948-....)

Cote : [05 FER 79]