Feed Book lists Genres

Mark Aagaard

Books by Mark Aagaard

Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics2007

If you like Mark Aagaard

EnglishEspañol Français

As an Amazon Associate, BookSense earns from qualifying purchases on Amazon.com. Book lists · How it works · Switching from Goodreads? · About · Privacy · Terms

Book and author details come from Open Library.