Logic at Botik

International Symposium on Logical Foundations of Computer Science

  1. 1989

    Logic at Botik 1989

    • 3-8 July
    • Pereslavl-Zalessky, Russia