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 Add to clipboard MW0003066 · Item Part of Michael Wright Collection