TY  - BOOK
A1  - Hermes, Hans
TI  - Term logic with choice operator
PB  - کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد
SN  - 77753497
UR  /book/77753497/Term-logic-with-choice-operator/
ER  -