Some upper and lower bounds on decision procedures in logic

Logic, Symbolic and mathematicalSequential machine theorySymbolic and mathematical Logic

For young readers