Bestellen Terug

Hoofdkenmerken

Auteur:	Farmer, William M.
Titel:	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Uitgever:	Birkhauser Verlag AG
ISBN:	9783031853517
ISBN boekversie:	9783031853524
Serie:	Computer Science Foundations and Applied Logic
Editie:	Second Edition 2025
Land van oorsprong:	Switzerland
Prijs:	€ 104.99
Verschijningsdatum:	24-04-2025
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	5 Illustrations, color; 6 Illustrations, black and white

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	319
Hoogte mm.:	244
Breedte mm.:	161
Dikte mm.:	26
Gewicht gr.:	646