Solving Higher-Order Equations

From Logic to Programming

Authors:

ISBN: 978-1-4612-7278-6 (Print) 978-1-4612-1778-7 (Online)