An Approach to the Extension of a Theorem Prover

Product form

£55.79

Includes FREE delivery

Order before 4pm today for delivery by Mon 6 Jul 2026.

A Paperback / softback by Maksym Bortin

Quantity

Out of stock

 

 

View other formats and editions of An Approach to the Extension of a Theorem Prover by Maksym Bortin

Publisher: Logos Verlag Berlin GmbH
Publication Date: 30/06/2010
ISBN13: 9783832525026, 978-3832525026
ISBN10: 3832525025