Tárgyszó  
 
 
Kulcs: lambda-kalkulus
Fölérendeltje: kalkulus
Befoglalója: intenzionális logika
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer