גרמנית ⇄ איטלקית אנגלית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

Brouwersche Logik
.טכנול	intuitionistic logic