Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Theorem Proving in Higher Order Logics door Richard J. Boulton. http://www.boeklezers.nl/boeken/Theorem+Proving+in+Higher+Order+Logics/9783540425250 Groeten,
Inloggen /
Meedoen
Vergeten?
Populairste boeken deze week
De dingen die we beschermen..
High Protein – Het 5-ingrediën..
Confession Drawings
Human Design voor Dummies..
Mooier dan jij kun je niet zij..
Populaire boeken »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)