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:	9783031211140
Serie:	Computer Science Foundations and Applied Logic
Editie:	2023 ed.
Land van oorsprong:	Switzerland
Prijs:	€ 67,78
Verschijningsdatum:	03-01-2024
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:	Paperback / softback
Paginas:	295
Hoogte mm.:	156
Breedte mm.:	234
Dikte mm.:	20
Gewicht gr.:	488