Days of Logic and Computability at St.Petersburg (original) (raw)

Russian Academy of Sciences

First St.Petersburg Days

of LOGIC and COMPUTABILITY
May 26-29, 1999