Search result

Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks