TY  - BOOK
AU  - 
TI  - Mavo le-torat ha-higayon
AV  - BC135 .B32
PY  - 0000///7241964///]
CY  - Jerusalem
PB  - Mifʻal ha-shikhpul, Bet ha-hotsaʼah shel Histadrut ha-studentim shel ha-Universitah ha-ʻIvrit
KW  - Logic, Symbolic and mathematical
ER  -