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:	9783031211119
Vervangend ISBN:	9783031853517
ISBN boekversie:	9783031211126
Serie:	Computer Science Foundations and Applied Logic
Editie:	2023 ed.
Land van oorsprong:	Switzerland
Prijs:	€ 108.74
Verschijningsdatum:	02-01-2023
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus. in color.

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	295
Hoogte mm.:	235
Breedte mm.:	155