logika elo3ada1s -- meghi1vo1

Kedves Mindenki! 1998. ma1rcius 19-e1n, csu2to2rto2ko2n de1luta1n 4-kor elo3ada1st tartok az ELTE Szimbolikus Logika e1s Tudoma1nymetodolo1gia Tansze1ke1n "Szubstruktu1ra1lis logika1k, kombinatorikus logika e1s lambda-kalkulus" te1ma1ban. (Absztraktk a tansze1ken kifu2ggesztve(?) --mihelyst a posta odae1rt vele.) Az eloada1s helye: "Bo2lcse1szkar", azaz, Pesti B. u. 1., A e1pu2let 1/2 emelet, Szimb.Log.Tsz., (vagy ott ki lesz te1ve, hogy pontosan melyik terem). Ezennel minden e1rdeklo3do3t tisztelettel meghi1vok. Aki esetleg elo3re hozza1 szeretne olvasni, annak a ko2vetkezo3ket aja1nlom figyelme1be: Curry, H.B.: Foundations of mathematical logic, 1963 Hindley, R. - Seldin, J.: Introduction to combinators and lambda-calculus, 1986 Belnap, N.: `Display logic', J of Philosophical Logic, 11 (1982) Dunn, J.M. - Meyer, R.K.: `Combinators and structurally free logic', the Logic J of IGPL, 5 (1997) [Oxford UP, interneten ele1rheto3] tova1bba1 tudok ku2ldeni ke1t PostScript filet, amelyek re1szben saja1t ira1saim (de egyik sem teljesen pontosan az, amiro3l besze1lni fogok) [akit ezek e1rdekelnek, legyen szi1ves, i1rjon nekem emailt]. U2dv, Bimbo1 Kata