Cover Image
Read Now

1
by Bachmair
Published 1991
Birkhäuser Boston
Table of Contents: “.... Proofs -- 2 Standard Completion -- 2.1. Basic Completion -- 2.2. Proof Transformation -- 2.3. Proof...”