Relatórios

20/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Charles Parsons: What can we do "in principle"? / Per Martin-Löf: The semantic significance of computation