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.be/boeken/Theorem+Proving+in+Higher+Order+Logics/9783540425250 Groeten,
Inloggen /
Meedoen
Vergeten?
Verjaardagen
Linda Oudenhuijsen
Ludy Methorst
birgitt van bracht
Angelique Haker
Simon Corson
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
