Simple cut elimination proof for hybrid logic Journal title: Logic and Logical Philosophy Authors: Andrzej Indrzejczak Subject(s):
Estimating Traffic Volume to Identify the Level of Service in Major Intersections of Rajshahi, Bangladesh Journal title: Trends in Civil Engineering and its Architecture Authors: Abdulla Al Kafy, Lamia Ferdous, Saleha Akhter Poly Subject(s):
