Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. From Sets and Types to Topology and Analysis

From Sets and Types to Topology and Analysis

- Towards practicable foundations for constructive mathematics

del av Oxford Logic Guides-serien

From Sets and Types to Topology and Analysis
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198566519
  • Format:
  • Inbunden
  • Sidor:
  • 372
  • Utgiven:
  • 6 Oktober 2005
  • Mått:
  • 163x243x26 mm.
  • Vikt:
  • 688 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Juli 2024

Beskrivning av 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.

Användarnas betyg av From Sets and Types to Topology and Analysis



Andra köpte även...
Hitta liknande böcker
Boken From Sets and Types to Topology and Analysis finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.