Frage zu Artikel "Programming with Higher-Order Logic"

ISBN: 978-1-139-51842-0
Titel: Programming with Higher-Order Logic
von: Professor Dale Miller