Textos de Matemática Vol. 38
P. 1

DAYS IN LOGIC ’06
TWO TUTORIALS
PROOF INTERPRETATIONS by Fernando Ferreira
ORDINALS, COMPUTATIONS, AND MODELS OF SET THEORY by Peter Koepke
38
   1   2   3   4   5