19/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Reinhard Kahle: Combinatorial aspects of applicative theories / Thomas Strahm: Systems of explicit mathematics Añadir al portapapeles MW0003066 · Unidad documental simple Parte de Michael Wright Collection