Haar measure and integral logic

Karim Khanaki, Massoud Amini. Haar measure and integral logic. Math. Log. Q., 58(4-5):294-302, 2012. [doi]

Abstract

Abstract is missing.