Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540730835
Format: Paperback (407 pages) Publisher: Springer Published: 19 Jun 2007
Save for later
Thomas Aquinas on the Passions: A Study of Summa Theologiae, 1a2ae 22-48
by Robert Miner
ISBN 13: 9780521187596
Format: Paperback (328 pages) Publisher: Cambridge University Press Published: 17 Feb 2011
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
