TY - JOUR
T1 - Foreword
AU - Arieli, Ofer
AU - Konikowska, Beata
AU - Rabinovich, Alexander
AU - Zamansky, Anna
PY - 2012/10/14
Y1 - 2012/10/14
N2 - The special volume of the Journal of Logic and Computation is presented as a tribute to our Professor Arnon Avron, on the occasion of his 60th birthday. Arnon was born in Tel Aviv in 1952. He was attracted by the charm of mathematics in high school, and after graduation went on to study mathematics first at Tel Aviv University, and at the Hebrew University of Jerusalem. He was awarded a Ph.D. with high distinction in mathematics from Tel Aviv University in 1985. Arnon was a member of several distinguished professional societies, including the Association of Symbolic Logic, the European Association for Computer Science Logic, and the Association for Automated Reasoning.
AB - The special volume of the Journal of Logic and Computation is presented as a tribute to our Professor Arnon Avron, on the occasion of his 60th birthday. Arnon was born in Tel Aviv in 1952. He was attracted by the charm of mathematics in high school, and after graduation went on to study mathematics first at Tel Aviv University, and at the Hebrew University of Jerusalem. He was awarded a Ph.D. with high distinction in mathematics from Tel Aviv University in 1985. Arnon was a member of several distinguished professional societies, including the Association of Symbolic Logic, the European Association for Computer Science Logic, and the Association for Automated Reasoning.
UR - http://www.scopus.com/inward/record.url?scp=84959890440&partnerID=8YFLogxK
U2 - 10.1093/logcom/ext023
DO - 10.1093/logcom/ext023
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.systematicreview???
AN - SCOPUS:84959890440
SN - 0955-792X
VL - 26
SP - 1
EP - 6
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 1
ER -