RUS  ENG
Full version
VIDEO LIBRARY

Logical Perspectives 2021: Conference
June 10, 2021 19:00, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online


Adventures in Lambek calculus

A. Scedrov




Language: English


© Steklov Math. Inst. of RAS, 2024