Two Trends in Logic conferences in 2014 October 31, 2013 Right before TiL XIV in Ghent, another TiL conference will take place in Lodz (Poland): Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi Comments
Comments