Title: Logic of programming and calculi of discrete design
Subjects: Congresses, Formal languages, Logic programming