Vi bøger
Levering: 1 - 2 hverdage

From Sets and Types to Topology and Analysis - Bog

- Towards practicable foundations for constructive mathematics

Bag om From Sets and Types to Topology and Analysis

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198566519
  • Indbinding:
  • Hardback
  • Sideantal:
  • 372
  • Udgivet:
  • 6. Oktober 2005
  • Størrelse:
  • 163x243x26 mm.
  • Vægt:
  • 688 g.
  • 2-3 uger.
  • 20. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af From Sets and Types to Topology and Analysis

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.

Brugerbedømmelser af From Sets and Types to Topology and Analysis



Find lignende bøger
Bogen From Sets and Types to Topology and Analysis findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.