Zakład Logiki Stosowanej

Here is the English version

• Ludzie
• Seminarium
• Wydarzenia, które współorganizowaliśmy
• ETAPS'2003
• Alfred Tarski Centenary Conference
• TLCA'2001
• LICS'97
• LACS - Logic, Algebra and Computer Science (1996)
• CSL'94

Ostatnia modyfikacja: 01.06.2004