From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides)

by PeterSchuster (Editor), Laura Crosilla (Editor)

• New

  Hardcover
  2005

  $271.40

  This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.