Bestellen Terug

Hoofdkenmerken

Auteur:	Brown, Chad E.
Titel:	Automated Reasoning in Higher-order Logic Set Comprehension and Extensio
Uitgever:	College Publications
ISBN:	9781904987574
Land van oorsprong:	United Kingdom
Prijs:	€ 20.93
Verschijningsdatum:	22-10-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Postgraduate, Research & Scholarly
Categorie:	Mathematical logic
Geillustreerd:	black & white illustrations
Dewey code:	511.3

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	564
Hoogte mm.:	233
Breedte mm.:	159
Dikte mm.:	30
Gewicht gr.:	798