Practical Foundations of Mathematics
1 852 kr
1 852 kr
Fre, 1 aug - tor, 7 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
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.
Artikel.nr.
3897fed7-53a8-481a-aee7-8a4eb9e81a0e
Practical Foundations of Mathematics
1 852 kr
1 852 kr
Fre, 1 aug - tor, 7 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare
3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr
POP MART Labubu The Monsters Exciting Macaron Vinyl Face Blind Box
499 kr
Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr
POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr
Apple AirPods 4 med aktiv brusreducering
2 060 kr
Trådlös CarPlay adapter 2025 - En smart och modern lösning för din bil
219 kr
Tidigare lägsta pris:
295 kr
INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr
iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr
Fjärrkontroll Philips Smart TV med Netflix – Universell
89 kr
Tidigare lägsta pris:
99 kr
Trottinette Elektrisk för vuxna AOVOPRO Däck 8,5'' hopfällbar
2 155 kr
Rekommendationer för dig
16-pack Premium Mat - Förvaring - Lufttäta Burkar med Lock - Matlådor
299 kr
Tidigare lägsta pris:
349 kr
UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr
168-Pack Tuschpennor med Fodral - Färgpennor Dubbelsidiga Pennor
299 kr
Tidigare lägsta pris:
399 kr
Playstation 5 DualSense Controller Midnight Black
794 kr
12-pack Oral-B Kompatibla Tandborsthuvuden
89 kr
Popup-tält Omklädningsrum - Stående - Camping
399 kr
FENCHILIN Hollywood sminkspegel med belysning - 360° vridbar - dimbar med tre ljuslägen - spegel med förstoring - bordsskiva vit spegel - 30 x 41 cm
551 kr
Tidigare lägsta pris:
583 kr
X500 Trådlösa Bluetooth Hörlurar - 30 timmar C4U® ANC ENC BT 5.3
269 kr
Tidigare lägsta pris:
399 kr
Apple AirPods 4 Wireless In-ear
1 578 kr
Vibrationsplattform med rephoppning, träning för hela kroppen Vibrationsträningsplattform massagemaskin för hemmaträning och formning Svart
999 kr