Labld Deductve Syst Olg 33 C door Professor Dov M. Gabbay