Showing 8236 results

Archival description
Print preview
Card view Table view
60 results with digital objects Show results with digital objects
10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Paolo Mancosu: Completeness & categoricity of axiomatic systems / Bruce Halimi: The equaivalence of logical universality and necessity as a problem from the model theoretic viewpoint / Catarina Dutilh-novaes: Two aspects of formalization; axiomatization and symbolization / Lunch conversations / William R de Jong: The analytic synthetic distinctio and the Asristotelian model of science; Kant, Bolzane & Ferge
MW0002457 · Item
Part of Michael Wright Collection
10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Paolo Mancosu: Completeness & categoricity of axiomatic systems / Lunch conversations / 17/01/07 IHP trimester on groupiods and stacks in geomerry and in physics, IHP, Paris: Jonathan Rosenberg: Noncommutative topology in geometry and in physics / lunch conversations / Pierre Cartier:Lagrange's mecanique analytique / 18/01/07 IHP trimester on groupiods and stacks in geomerry and in physics, IHP, Paris: Jonathan Rosenberg: Noncommutative topology in geometry and in physics
MW0002458 · Item
Part of Michael Wright Collection