TY  - BOOK
A1  - \ Wayne Snyder
TI  - <A> Proof Theory for General Unification
PB  - کتابخانه زبانهای خارجی و منابع اسلامی
SN  - 88379057
UR  /book/88379057/A-Proof-Theory-for-General-Unification/
ER  -