Числення логічні

формалізовані дедуктивні системи, подані разом із їх інтерпретацією