A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Books - Springer-Verlag New York Inc. - 9781461267584 - September 30, 2012
In case cover and title do not match, the title is correct

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic Softcover Reprint of the Original 1st Ed. 1991 edition

W. Snyder

Price
Ft 23,704
excl. VAT

Ordered from remote warehouse

Expected delivery May 12 - 23
Add to your iMusic wish list

Also available as:

A Proof Theory for General Unification - Progress in Computer Science and Applied Logic Softcover Reprint of the Original 1st Ed. 1991 edition

178 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 30, 2012
ISBN13 9781461267584
Publishers Springer-Verlag New York Inc.
Pages 178
Dimensions 155 × 235 × 10 mm   ·   272 g