TY - JOUR T1 - Lambekovy kalkuly a 'logiky kategorií' JF - Organon F Y1 - 2000 A1 - Peregrin, Jaroslav IS - 4 VL - 7 SP - 460-466 UR - http://www.klemens.sav.sk/fiusav/doc/organon/2000/4/460-466.pdf U2 - Views U3 - 460466 TI - Lambek's Calculi and 'Logic of Categories' ER -