Foreword

Ofer Arieli; Beata Konikowska; Alexander Rabinovich; Anna Zamansky

doi:10.1093/logcom/ext023

Foreword

Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	1-6
Number of pages	6
Journal	Journal of Logic and Computation
Volume	26
Issue number	1
DOIs	https://doi.org/10.1093/logcom/ext023
State	Published - 14 Oct 2012
Externally published	Yes

ASJC Scopus subject areas

Software
Theoretical Computer Science
Arts and Humanities (miscellaneous)
Hardware and Architecture
Logic

Access to Document

10.1093/logcom/ext023

Cite this

@article{0696fdf197d347ebbe1c08e9eeb899dd,

title = "Foreword",

abstract = "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.",

author = "Ofer Arieli and Beata Konikowska and Alexander Rabinovich and Anna Zamansky",

year = "2012",

month = oct,

day = "14",

doi = "10.1093/logcom/ext023",

language = "English",

volume = "26",

pages = "1--6",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

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 - Article

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 -

Foreword

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this