Vi flyttar från butik till nätet - så funkar det framåt

Logga in
Practical Foundations of Mathematics | 0:e upplagan

Practical Foundations of Mathematics | 0:e upplagan

  • Inbunden, Engelska, 1999
  • Författare:
  • Betyg:
1956
kr
Helt ny

Skickas inom 1-3 vardagar

Onlinelager
I lager hos leverantör

Vill du sälja den här boken?

Sälj den här boken

Beskrivning

Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Om denna bok

Practical Foundations of Mathematics är en Inbunden bok med 588 sidor på Engelska. Den utgavs 1999.

Spara pengar – köp begagnad från Campusbokhandeln

Köp Practical Foundations of Mathematics begagnad från Campusbokhandeln och spara upp till 25% jämfört med nypris. Du kan bevaka den här boken så får du ett mail så fort vi får in den i lager som begagnad.

Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.

Produktinformation

Bandtyp:
Inbunden
Språk:
Engelska
ISBN:
9780521631075
Upplaga:
0
Utgiven:
1999-05-01
Förlag:
Okänt
Sidantal:
588

Sök

Varukorg

Din varukorg är tom
Köp Sälj Sök Meny