Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Automated Reasoning In Higher-Order Logic door Chad E. Brown. http://www.boeklezers.be/boeken/Automated+Reasoning+In+Higher-Order+Logic/9781904987574 Groeten,
Inloggen /
Meedoen
Vergeten?
Meest gelezen
Haar naam was Sarah
De Da Vinci code
Komt een vrouw bij de dokter..
Het Achterhuis
Mannen die vrouwen haten..
Alle toplijsten »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
