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 John Harrison, Yves Bertot & Andre Hirschowitz. http://www.boeklezers.be/boeken/Theorem+Proving+In+Higher+Order+Logics/9783540664635 Groeten,
Inloggen /
Meedoen
Vergeten?
Verjaardagen
Roselyne
Hanneke Kromhout
Danielle181 Jongsma
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
