Tárgyszó  
 
 
Kulcs: Curry-Howard izomorfizmus
Deszkriptor: izomorfizmus
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer