A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 11 (Paperback)W. Snyder (author)
- We can order this
Publisher: Springer-Verlag New York Inc.
Number of pages: 178
Weight: 296 g
Dimensions: 235 x 155 x 10 mm
Edition: Softcover reprint of the original 1st ed. 199