DAYS IN LOGIC ’06 TWO TUTORIALS
PROOF INTERPRETATIONS by Fernando Ferreira
ORDINALS, COMPUTATIONS, AND MODELS OF SET THEORY by Peter Koepke
Reinhard Kahle and Isabel Oitavem (Editors)
Textos de Matem´atica
Volume 38
Departamento de Matem´atica da Universidade de Coimbra Portugal 2006