kalkül (logik)

listen to the pronunciation of kalkül (logik)